Editar a configuração manualmente em dconf faz o truque.
Ou seja, execute dconf-editor
, encontre org.gnome.desktop.input-sources.sources
ant coloque o valor [('xkb', 'us+intl')]
.
[Curiosamente, a caixa show-all-sources
foi desmarcada, então eu verifiquei, mas isso não muda nada para o problema da variante internacional não ser exibida na lista de layout.]