Julien, this is by design, because this function will be called in time_headers.js when onvisibilitychange. Do you think we still need this one (?)