flat2tex is complete, albeit unverified and producing output in a very generic format.