Bug 816666: Update server and prod push docs.