I have one tidy-up that we talked about just informally after the last meeting. I propose that we extend the public submission deadline, which I think closed May 15. If you want that in the form of a motion—
On June 20th, 2017. See this statement in context.