chiark / gitweb /
document the options