Cambiar el buscador por defecto de Firefox en Linux Mint