Edit: ihatexml.py