4.1.5 (2022-11-28) Bug Fixes dev-infra: move source to before var ref (c25e82f) scripts: uninstall default option (f7f81e1), closes #1653
