I think someone else mentioned it that you can edit the hotkeys.json directly. For example, I assigned Shift+F1 to “open homepage” and then deleted “shift” from the json
When you go back to settings it shows F1