I asked jeffalo shortly after this and he said something along the lines of “it depends on what the bot does”. For example, the joke bot would be allowed, but a bot that allows users to make posts anonymously, on the other hand…