VoteBot for the discord server of the Reading Group on Planning and Search.