chiark / gitweb /
lint: ban all dangerous HTML tags