Updating the documentation for Sync and 'rel' and 'verify'