chiark / gitweb /
Print progress message to stderr, not stdout