update: the bot is back now with a vengeance, sending request at about 1 request per second. ignoring robots.txt and the status code 403