On 2019-05-28 11:02, Blair, Charles E III wrote:
>
> > you highlight the install option in the installer boot menu and
> > press E to edit. Repeat the change as above, but add it to the end
> > of the line starting with “linux”. Press F10 to boot.
>
> Thank you very much. I am looking forward to trying this.

The bios on this machine is dated November 2018 and
seems to have been changed, for better or worse. It
seems to be a graphical thing, rather than text-based,
and does not seem to allow me to add words. Thanks,
anyway.