chiark / gitweb /
Disobedience: add a Close button to the filtering window.