Bug fix: venv-quick-install with an extra effort for the user (see last comments).