chiark / gitweb /
disobedience: more sensible naming in menu setup