MrDoe is the bot of the IRC chan #morphux on freenode, and the mailing-list bot