chiark / gitweb /
utf8: ascii_filter() is unused, let's remove it