You might want to use this alternative frontend: https://forum.nunosempere.com . Also happy to produce an nicely formatted one if you tell me which one it is.
To elaborate a bit on the offer in case other people search the forum for printing to pdfs, this happens to be a pet issue. See here: for a way to compile a document like this to a pdf like this one. I am very keen on the method. However, it requires people to be on Linux, which is a nontrivial difficulty. Hence the offer.
You might want to use this alternative frontend: https://forum.nunosempere.com . Also happy to produce an nicely formatted one if you tell me which one it is.
Oh cool, thanks!
To elaborate a bit on the offer in case other people search the forum for printing to pdfs, this happens to be a pet issue. See here: for a way to compile a document like this to a pdf like this one. I am very keen on the method. However, it requires people to be on Linux, which is a nontrivial difficulty. Hence the offer.
I really like this!