I think that players report you. I don't believe that GMs have time to stand and watch people how they milling or prospecting. When i let my bot to mill i usually watch some movie and check my bot from time to time. So far i didn't have any problems. (let's hope that will stay like that)I wonder if its player reports that trigger the bans? seems awfully weirdo.