A reference Web Push server.