Rename the In-Game timer to Real time (less confusing). Minor clean-ups.