Hello again. This is an update about some recent changes on the leaderboards that me and sonicyellow have been working through.

——Rules—— In practice, nothing has really changed. [Category Rules] were simplified, while rulings regarding Pause Jumps were moved to the [Game Rules] sec