chiark / gitweb /
tests/filter: Rename `doctest' -> `doctests' everywhere