chiark / gitweb /
remove obsolete stuff about authentication