dreach_tool(using.tex): make it short