chiark / gitweb /
admin: Put all command options at the start of the command-line.