EMBOARD is end-of-life and I have a need for a leaderboard bot.  
How hard could it be?

Uh oh, the code is kinda bad.

[Invite Link](https://discord.com/oauth2/authorize?client_id=1363055126264283136&permissions=2048&integration_type=0&scope=bot+applications.commands)

**Commands**  
- `about`: Get information about the bot.  
- `leaderboard`: Displays the leaderboard. With an optional `[style]` argument to change how it displays.  
- `points [points] [user]`: Change the points of the mentioned users  
- `permission none`: No permissions are required to change the score; anyone may set the score. This command requires the Manage Server permission.  
- `permission role [role]`: A specific role is required to change the score. This command requires the Manage Server permission.  

**Leaderboard Display Options**  
The leaderboard display options, the `style` argument of the leaderboard command, change how ties are displayed. Ties will always be ordered by who was there sooner.

`Ties Equal` puts ties in the same placement. It will look like this:  
```raw
1. genny: 10
2. medley: 5
   inann: 5
4. taiga: 3
```

`Ties Broken` puts ties in different placements. It will look like this:  
```raw
1. genny: 10
2. medley: 5
3. inann: 5
4. taiga: 3
```