Looks like you were spot on.Doesn't Match
- Original Opening date as August 31 (I was most recently told the gear up would begin in the last week of June with a public opening in the week following the 4th of July)
- "Mask Relief Areas," at least the way described by @WDW Pro were not on the table. Any potential relief area would use a much bigger space, with a couple of other quirks
At the end of the day, both Disney and SeaWorld were thrown for a loop by UOR opening on June 1. In fact, I'm a bit disappointed that three levels of clearance would approve this, especially when their proposal had some glaring omissions. I doubt we see anyone in a WDW park before the halway point of June (if rushed), but more likely July.