Willi Gerbig

This seems to be related to https://github.com/wg030/jlcode/issues/43 At least the output looks very similiar.

@blegat I just updated the jlcode package and fixed all latest issues, especially the one that likely produced this output. > what should be the recommended way to use jlcode...

> @wg030 Thanks for the detailed recommendations You are very welcome! > Looks good to merge on my side. Yes, indeed, that's a nice output!