[PATCH v11 2/2] cmd: COPY should output file names as they are copied.