Game clock is not really the 'game time'.
The 'game clock' can be stopped for instance when running the takeover
mini-game, while the 'game time' must continue to run.

My post is a self-reminder to something we should work on in the near future,
rather than a description of what to do.