Yesterday, this category got added to the category extensions leaderboards! However I had already done a run 4 years before that, but because people have a reason to run it now, I had got beaten by 4 minutes...