chiark / gitweb /
execute: minor cleanups