Pass documentation build variable down to the superbuild.
Also, add extra python packages to list in userguide.
GitLab update will be applied on June 28th, between 8am and 10:30am, EDT (UTC-04:00). This site may have intermittent delays during that time.
Also, add extra python packages to list in userguide.