Do the names get freed up when SE bans RMT bots?

[Delis]

Does it matter?
Most RMT bots have names like NGKATE YMAMG.

Who wants that?

If you read the Op's post you would have seen them mentioned that the bots are now using the auto name generator and taking lore based names. Which now no one else can use.