chiark / gitweb /
move/scratch/remove right checkboxes