hey! these kinds of keyboard related things are well solved by Karabiner elements: https://karabiner-elements.pqrs.org/ https://karabiner-elements.pqrs.org/ T

hey! these kinds of keyboard related things are well solved by Karabiner elements: https://karabiner-elements.pqrs.org/ https://karabiner-elements.pqrs.org/ There you can map (whatever key) to (whatever other key). E.g. I have right command mapped to F20, available to all other apps .