First sub-10 by virtue of some triple jump skips and decent luck on the boss. There were a number of time losses including a stupid mistake at 6:00 so I'm sure taco or one of the other runners can beat this easily.
He uses a triple jump. He explained somewhere that you can press the jump twice quickly and it gives you a slight boost but the game counts it as one jump and then the double jump and bam