Behind the scenes: texshow
Mojca and I are currently working on update of texshow(-web). More attractive and less spam. The current texshow-web is
not good at keeping up to date with changes to the source file ‘cont-en.xml’ (and its ilk). We are planning to change that, too.