Как задается URL-адрес push-службы API Push?

Эта цитата из второго цитируемого вами документа отвечает на вопрос:

Этот документ намеренно не описывает, как обнаруживается push-сервис. Обнаружение push-сервисов оставлено на будущее, если оно вообще окажется необходимым. Ожидается, что пользовательские агенты будут настроены с URL-адресом для службы push-уведомлений.

На данный момент браузеры поставляются со встроенными знаниями о некоторых конкретных службах push-уведомлений, таких как GCM в случае Chrome. Это упоминается в Push-уведомлениях в открытом Интернете статья на HTMLRocks:

Chrome использует GCM для обработки отправки и доставки push-сообщений... Другие браузеры могут свободно использовать любой push-сервис...

Но было бы интересно посмотреть, могут ли браузеры открываться в будущем, чтобы, как вы предлагаете, мы могли указать выбранную нами службу в аргументе subscribe.

Сначала вы регистрируете работника службы с помощью navigator.serviceWorker.register('/some-service-worker.js'), а затем, когда вы вызываете serviceWorkerRegistration .pushManager.subscribe(), этот seriveceWorkerRegistration ссылается на работника службы, который вы только что зарегистрировали.

Лучше всего продемонстрировать это на примере:

navigator.serviceWorker.register('/some-service-worker.js').then(function() {
    navigator.serviceWorker.ready.then(function(serviceWorkerRegistration) {
        serviceWorkerRegistration.pushManager.subscribe({userVisibleOnly: true}).then(function() {/*...*/});
    });
});