Month: December 2023

I just noticed that some older posts are broken after LaTeX2HTML updates. I’m disabling it for now. This would in turn break other posts, but should be the less wrong solution.