// Package receivepack provides the application-facing server-side push entry
// point.
package receivepack