This command downloads the 3.4.2 release of idaes-ext into the directory idaes-ext-3.4.2

idaes get-extensions --nochecksum --url https://github.com/IDAES/idaes-ext/releases/download/3.4.2/ --distro=darwin --extra petsc --to idaes-ext-3.4.2

However, the wrong version is printed:

---------------------------------------------------
IDAES Extensions Build Versions
===================================================
Solvers:  v3.4.0 20230607-1133 darwin-arm64
Library:  v3.4.0 20230607-1146 darwin-arm64
===================================================

This is because print_extensions_version uses idaes.bin_directory (to check the extensions version), with no option to look in a non-standard install location. It should have such an option.