Hi, Could we _at least_ have a workaround for that? As it seems the change is not going to happen soon. Chromium fucked-up my default browser choice, and now I've no easy way to change that, and I don't even know where to look to fix that by hand. What's the workaround ? Regards, Benjamin