Webapp and LaTeX should have uniform numbering scheme
I expect that students use both, PDF and webapp. In the webapp, there is currently no numbering of lemmas, etc. The "this lemma" link is also not very helpful, if there are many lemmas on screen. It'd be great if webapp and LaTeX had uniform numbering. Ergo: Numbering of things should be done in the compiler and not deferred to LaTeX and forgotten in the webapp case. I guess, you'll like this one, Felix. ;)