chiark / gitweb /
improve an error message; fix fetch when we have already fetched