I wonder how these rules came to be known as "bots" within Twitter. It has an nice symmetry to it though: use bots to fight bots.