如何在 KDE 中添加带有 MOD3 修饰符的键盘快捷键？

Question

我喜欢将右控制设置为不同的修饰符 mod3，通过如下/usr/share/X11/xkb/symbols/pc方式进行修补：

--- orig.txt    2018-06-10 15:36:53.479009368 +0200
+++ mod.txt 2018-06-10 15:42:08.995666676 +0200
@@ -34,8 +34,9 @@
     // Beginning of modifier mappings.
     modifier_map Shift  { Shift_L, Shift_R };
     modifier_map Lock   { Caps_Lock };
-    modifier_map Control{ Control_L, Control_R };
+    modifier_map Control{ Control_L };
     modifier_map Mod2   { Num_Lock };
+    modifier_map Mod3   { Control_R };
     modifier_map Mod4   { Super_L, Super_R };

     // Fake keys for virtual<->real modifiers mapping:

之后，我可以使用右控制和箭头来管理虚拟桌面（例如gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-down "['<Mod3>Down']"）

此方法适用于 Gnome 3 下的 Ubuntu 18.04，但 KDE 5 Plasma 似乎完全忽略了 Mod3 修饰键。有人在 KDE 中成功绑定了除 Shift、Ctrl 或 Alt 之外的任何键盘修饰键吗？如果是，怎么做的？