Sorry, didn’t look. I have now successfully installed using Supervised install on Debian OS, which went without a hitch.