Updated to link to editor's draft.
Push API - initial release
First draft
Second thoughts on push registrations functionality
Switched to using 80col lines
Added mention of auto keyword
fixed merge conflict