Clean up docletcommands.tex