Documentation update: carnet-upgrade example.