Actually propagate user messages across servers