chiark / gitweb /
shorten url-mentioning text a bit