r @simonw Pipes is crawling HTML when we explicitly told it not to in robots.txt. Verified logs. Result: perma-ban from all IP ranges.