Board Thread:General Discussion/@comment-34854170-20180517022342/@comment-34892399-20180517064413

And UTC = GMT for any other old timers

We should bombard them with thank yous if it sticks!