chiark / gitweb /
Monoalphabetic match filter. Simplify the button list.