There is something wrong with the character recognition. E.g. the double-dotted 'a' character is replaced by a couple of characters instead of latex code. :/
Just signed in... looking around... wondering if it's worth the time :>
