Existem arquivos de associação de tipo MIME para aplicativo além daqueles nesta lista?

Question

Contexto: Eu tenho um mau comportamento do Ubuntu / Dolphin onde parece que *.mkv arquivos são abertos com ark . A captura de tela abaixo indica a abertura da caixa de diálogo Properties e, em seguida, clique em File Type Options

Observe que a ordem de preferência é Ark, GIMP, VLC. Se eu tentar reorganizá-los usando a interface do usuário e pressionar OK, as alterações não terão efeito - reabrir a caixa de diálogo mostrará as associações anteriores & ordenando e reinicializando não pega nenhuma mudança.

Uma pequena pesquisa me diz que as associações de arquivos são armazenadas em um desses arquivos, dependendo do que você * nix está executando:

/usr/share/applications/defaults.list
/usr/share/applications/mimeapps.list
/usr/local/share/applications/defaults.list
/usr/local/share/applications/mimeapps.list
$HOME/.local/share/applications/defaults.list
$HOME/.local/share/applications/mimeapps.list

No meu sistema Ubuntu, apenas os dois arquivos a seguir existem.

1. /usr/share/applications/defaults.list
2. $HOME/.local/share/applications/mimeapps.list

Investigando ...

$> grep matroska {/usr,/usr/local,$HOME/.local}/share/applications/{defaults,mimeapps}.list 2>/dev/null                                                                                                                               
/usr/share/applications/defaults.list:application/x-matroska=org.gnome.Totem.desktop
/usr/share/applications/defaults.list:audio/x-matroska=org.gnome.Totem.desktop
/usr/share/applications/defaults.list:video/x-matroska=org.gnome.Totem.desktop
$HOME/.local/share/applications/mimeapps.list:video/x-matroska=vlc.desktop;org.kde.ark.desktop;gimp.desktop;
$HOME/.local/share/applications/mimeapps.list:video/x-matroska=vlc.desktop;

Isto parece indicar que ark não é a primeira associação de arquivo de prioridade para *.mkv arquivos. Esta também é a única ocorrência da string ark em qualquer um desses arquivos, e não há ocorrências da string mkv .

A partir disso, concluo que o Dolphin está encontrando suas associações de arquivos a partir de algo diferente dos arquivos listados acima.

O que eu senti falta?