chiark / gitweb /
options, -q and -f, for summer