Once again, the simple recipe in message #30 above allowed me to boot an unbootable system (forgotten grub-install error?)
Once again, the simple recipe in message #30 above allowed me to boot an unbootable system (forgotten grub-install error?)