I know that market bots haven't been allowed for a while now, but why was the decision to remove them made? I don't think I was around when it happened.