ist ein Intervall-Timer bei "unload" explizit zu stoppen?

[mathefritz]

doch nicht so einfach: öffnen eines neuen tabs und betreten dieses stoppt den Timer nicht .
N.S.:
Latex \textbf{\color{..}{...}}
scheint nicht implementiert zu sein .