request handlers: Implement push_message helper for page messages.