Update a URL in the guide

The branch name in a GitHub URL must be updated, as the old branch (`protocol_options`) no longer exists.