Just for the heck of it, I copied the mini.iso to both / and /boot on my
hard disk and tried the installer again.
Now it reports, after a deep search, "no installer iso images found" ...
"while one or more possible iso images were found, they did not look
like valid installer iso images"