you'd have thought he would have worked on it at least a tiny bit ha, his world record would probably stand for decades if he could have an amazing start.
Don't think anyone is getting close to his current record for a while but if he started well, I genuinely think he'd have gotten close to about 9 seconds.