Commands

There are several notable commands in the Discord server.