chiark / gitweb /
lint: also check for trailing spaces in names