chiark / gitweb /
removal wiki page. #412757