Release process: fix the --no-web option