chiark / gitweb /
import: when downloading raw files, show simple progress reports