I noticed that there was no Bulletin that Globex was available again until 11:16, whereas Help / System Staus said that all systems were functioning normally as of 11:09.