bot.mirror: use a special user-agent for #curl