chiark / gitweb /
lint: optionally check format