I think that's reasonable. Hopefully, a lot of our wonderful public servants will be getting a little bit of time off during the summer. I think we can all agree that they've been tasked with Herculean work and effort in the last 110 to 115 days. August 3 is not very far away. I think it's a good compromise to move it up to August 31.
On July 13th, 2020. See this statement in context.