w3c/push-api — pull request #72 by mvano (2014-10-03 17:44:18+00:00)
Title: Clean up links that redirect and define the DOM bits.

This makes the Link Checker happier so we can proceed with WD publication.