chiark / gitweb /
Uncomment verbose messages, fix -I