#909300 debmirror: --rsync-extra should download the "extrafiles" file too