Ok, entendi: esta linha no meu /etc/default/keyboard
XKBOPTIONS="grp:alt_shift_toggle,grp_led:scroll"
.. não deve conter grp:alt_shift_toggle
, que é a opção xkb relevante de acordo com este post .
Além disso, o Gnome substitui as opções do xkb de acordo com este outro post . Como consequência, esta saída:
$ dconf read /org/gnome/desktop/input-sources/xkb-options
['grp:alt_shift_toggle','grp_led:scroll']
.. não deve ler grp:alt_shift_toggle
na minha máquina também. Então, depois que eu corri:
dconf write /org/gnome/desktop/input-sources/xkb-options "['grp_led:scroll']"
recuperei o meu comportamento good'ol;)
Eu arquivei isso como um bug para o Gnome.