dreach_tool(using.tex): shorten