chiark / gitweb /
Remove now unnecessary regex_pedantic