Generalize web push + add web notifications