chiark / gitweb /
remove a useless dir, /usr/share/developers-reference; fix install