https://dwaves.de/2020/12/26/gnu-linux-debian-remap-shift-right-to-menu-key-r-mouse-button-click-key/