Extension:Blahtex/Bugs/Bugs in blahtex itself