ketchupbot-discord A practical discord bot for the Galaxypedia, with a focus on functionality that we really need.