Не совсем так - при указанном варианте округления разница могла быть между 9.0 и 8.9.

если быть точным, он опустил планку, создаваемую искусственно игрой до 8 секунд, но судя по информации из статьи - игра округляет показатель времени вниз, соответственно, если бы можно было пройти карту например менее чем за 1 секунд, то написало бы, что игрок прошел за 0 сек. :D

только он не сократил время на 11%.

это же спидраннеры, они спидранят как раз для этого, что бы хоть на одну секунду обогнать лидера