Replace references to web intents with "push service extension"

Since web intents is shelved for now, we need a fallback method for
user-managed push service selection/configuration. Browser extensions
are a reasonable method, where supported.