dreach_tool: update appendix