Discord bot which shows your private Advent of Code leaderboard

It is December! That means Advent of Code is here! If you don't know what that is: Advent of Code is an Advent calendar of small programming puzzles for a variety of skill sets and skill levels that can be solved in any programming language you like...