Mod note: sorry to be that guy but this isn't world record :(. Moving all the old runs (i.e. pre-July 2023) that had multiple players into the co-op category is a tedious job, so I do it where I see fit. Make sure to check the single-player leaderboards as well next time. Nevertheless, this is a good run, and you could definitely improve this to actually get world record :).