This is fairly well known as a concept. The timer is just a dumb javascript, it predates the hardware pause and has never been updated.
Things like this have come up before:
Tbh I never get cooling or overheating errors so I have no idea if this was ever updated in those cases, but it doesn’t surprise me to hear the pause button causes the timer to be out of sync.