chiark / gitweb /
report some more stuff in stderr output