Comment by zdw

Hopefully Karabiner will be updated - it's the go-to tool for nonstandard key remapping (in my case, Right Shift to Escape).