chiark / gitweb /
turn negative options into positive options