A Reddit bot that answers the question of "When does OpTic play?"