chiark / gitweb /
Disobedience: change filtering window to be a more general-purpose