Extension:Blahtex/Bugs