Yeah it's a matter of what is the bots' net impact on profit for SE. Apparently positive since obvious bots who have operated for years don't get banned lol.