chiark / gitweb /
Make the documentation of options more consistent.