ServerTools Bot

Group for the Discord bot ServerTools and surrounding things.