Hiya, I was looking at the leaderboards for this game and I noticed that Andrewrb15's run finishes the apparently required part of the 'Normal' category earlier than the world record does. But the time they submitted is for when the true ending of the game was reached. Why wasn't their time edited?