I am currently trying to figure out how sped up Haid's run is so that we can have it. If anyone wants to help me, feel free!

Ok, after some work I got the time of 15m 11s (10s 891ms)

I think that their original time of 18m 28s they proposed is probably correct. If they are using a free web recorder / editor. You have to have a video under the time of 10 minutes. This most likely is the cause of the time speed up.