it seems we can use --as-cran and --no-manual at the same time?

then we will not need texlive at all; that will be great!!
less hard-coding, so this script can be more generally useful