chiark / gitweb /
execute: more debugging messages