Ubuntu 22.10 и пользовательские параметры xkb

На ноутбуке Dell, у которого нет клавиши F12, которую не нужно искать, находить и т. д., но вместо этого на правой клавише управления есть красивый значок, похожий на терминал (значок меню), я я привык вызывать гуаке/якуаке с помощью правой клавиши управления. Для этого я переназначил правую клавишу управления, чтобы ключ меню кодировал ее основное действие без необходимости нажимать fn.

Для этого я определил xkb файл символов (в ~/.xkb/symbols/mymenu, также попробовал /usr/share/X11/xkb/symbols/mymenu) с таким содержимым:

      $ cat ~/.xkb/symbols/mymenu 
partial modifier_keys
xkb_symbols "rctrl_menu" {
    key <RCTL> { [ Menu ] };
};

Я могу успешно загрузить это с помощьюxkbcomp -I/home/micha/.xkb /home/micha/.xkb/keymap/mykbd $DISPLAYи он переназначает правую клавишу управления на меню (которое открывает guake).

Затем я добавил это в dconf в/org/gnome/desktop/input-sourcesк xkb-параметрам как['mymenu:rctrl_menu'].

С Ubuntu 22.04 (X11) это работает нормально, однако после обновления до Ubuntu 22.10(все еще X11) оно больше не загружается. Загрузка вручную с помощью xkbcomp по-прежнему работает нормально в версии 22.10, но она теряется при каждом изменении системы ввода (при подключении/отключении наушников с помощью кнопок громкости, при приостановке/пробуждении, при перезагрузке и т. д.).

Кто-нибудь может помочь мне, как снова заставить это работать с 22.10, как это было с 22.04? Есть ли замена для теперь не работающего ключа xkb-options dconf или другого места, где я мог бы поместить его, чтобы мой сеанс gnome его подхватил?