@simon it's hard to make everyone happy. It's easy to fix though: the source is latex. @kfogel can you help?