Gracias. Lo acabo de hacer, pero me funciona y no me funciona. Lanzo el administrador de perfiles con mozilla -P, creo el nuevo perfil y le doy a «start mozilla». Ya lo tengo en español. Pero cuando cierro el programa y lo abro de nuevo, o se ha perdido el nuevo perfil, o sigue ahí pero en vez de Antonio se llama Default User, y desde luego sigue en inglés (vamos que no me ha guardado las preferencias). Lo he intentado varias veces con idéntico resultado.