chiark / gitweb /
correction about login name on master -- eight chars or less, not