fix and improve web push; add configuration docs