Edit: _ihatexml.py