chiark / gitweb /
lint: get rid of -p/--pedantic