Update the manual to reflect the change from merge+push to sync