Extension:Blahtex/Bugs and feature requests