Hi, Modifying ~/.local/share/applications/defaults.list doesn't work here (and I don't see any other place where it could be overridden). But changing /etc/gnome/defaults.list works; even if I find it not optimal as I would like to only change the default browser for me, not system-wide. Regards, Benjamin