chiark / gitweb /
always get tool_active right