Comment Comment by RestartKernel How's the typesetting and justification nowadays? Last time I committed to it for a few months I found the latter to be about the quality of HTML with a better linebreak algorithm. parent RestartKernel 1 year ago