I mean that the computer assisted is 4 minutes faster then his time, bad wording I guess. Still, guys incredible... also I don't know if its exactly 4 minutes, but its around there
There's been a bit of drama around SM64 speedrunning, because a 'community' favourite/long time record holder named Siglemic had his record taken by some other dude, who has been consistently improving the time. Jesus, I'm a fangirl of speedrunning.