chiark / gitweb /
remove debget from tools section, add notes on more tools to document