H. G. Muller wrote on Tue, May 11, 2021 01:27 PM UTC:
There must be something very wrong with my FireFox. Anyway, I managed to work around it by logging on to a remote Linux system, and using wget there to fetch the page. I wanted to see what it uses to generate the faulty images. This appears to be the following:
There must be something very wrong with my FireFox. Anyway, I managed to work around it by logging on to a remote Linux system, and using wget there to fetch the page. I wanted to see what it uses to generate the faulty images. This appears to be the following:
Apparently it relies on the diagram designer to display a period as some marker. And for some reason it doesn't.