chiark / gitweb /
lint: check file extension for metadata