bot.mirror: do not report number of deleted packages (wrong!)