chiark / gitweb /
Miscellaneous changes, mostly concerning options parsing.