chiark / gitweb /
lint: Remove duplicate code.google.com TODO