Hi Rasmus, Thanks a lot for the great comments. Here is an updated patch, with some comments on your comments for the thing I did not change. On 2015-11-25 10:57, Rasmus writes: >> + \\begin{listing} >> + \\begin{minted}{ocaml} >> + >> + \\end{minted} >> + \\caption{} >> + \\label{