Are you sure it's the same bots? You said yourself their names are gibberish. Do you honestly expect me to belive you remembered one of them exactly? It's probably similar bots doing similar things. Banning bots is easy. Fixing what they're doing to create that exploit is a bit harder.