A Reddit bot to encourage better political discussions