chiark / gitweb /
boolean option