chiark / gitweb /
swap: replace Discard= setting by a more generic Options= setting