This should be a world record, as the previous WR run is something like 1.4 seconds, though it does not list milliseconds on the leaderboard.