Great!
How to self-assign the Hotkey for highlighting: see bottom of linked page

https://www.guidingtech.com/customize-keyboard-shortcuts-firefox/

For archiving, the highlights ARE PRESERVED if saving a local copy of the page with "Save Page WE" add-on.

One request: being able to assign a keyboard shortcut for highlighting myself.