Run is from 2018 and was previously present on the leaderboard (a few years ago) but under my old username/account, thus why it got deleted.

I hope it's okay to reupload it now! Mainly doing it for history/archive purposes.