PSA: publishing a new WD of Push API on October 7

[Arthur Barstow]

Michael and the other Push API Editors intend to publish a new WD of 
Push API on or about October 7:

  <https://w3c.github.io/push-api/>
If anyone has any major concerns about this plan, please reply as such 
right away.

-Thanks, AB