chiark / gitweb /
import: rename download code from "import" to "pull"