Bad bots, bad bots, whatcha gonna do? Whatcha gonna do when they contact you?
I finally found a way to contact the party reponsible for slamming my Gemini server [1] with requests. Hopefully I'll hear a response back, or at the very least, the behavior of the bad bot will be silently fixed.