dreach_tool(system.tex): another update on drh format