Hmm okay, I thought it was allowed, as long as it was your finger that keeps on pressing the F5 button. (So, that would mean it's allowed, because TNT can't know if it's your finger or something else)
But thanks for the info! I'm afraid the Spider refreshers doesn't work anymore, or can also result in freezing now?