TeXize ft output in devdoc as well