chiark / gitweb /
import: improve logging a bit