(sorry for my english, it may be bad, but i hope you'll understand me)
What do I mean and what do I want to talk about: Zylenox pause the game for a while to do math to find a stronghold, mods added these seconds to his IGT and so he tied with reignex. Okay, fair enough, he pause the game to use it for his purposes which helped him to run faster. But now let's talk about one more run. Now we have a new WR (?) by fe666, but in his run he paused the game much more times to do the math as well. He spent more than 10 seconds doing this, which means that this could be not a WR at all, unless mods don't retime the run including these "math pauses", as they did to zylenox.
If they retime fe666 to 13:53 or so, do you think it would be fair not to retime zylenox's run?
I can be wrong too due to bad understanding of retiming rules, so if here are mods or experts, explain me this thing.