Happy Holidays!

I understand this announcement is coming out of nowhere and with no one really asking for it, but... after further review of how the leaderboards are set up here, I've made a tiny change to the timing format of the Arcade category.

Unfortunately, SRC doesn't allow for differen