Anyone have any use for a script that can translate Tex documents to
XML and  back again?

T.