chiark / gitweb /
move all tools to subdirs