Cuando Firefox se ejecuta por primera vez en Mac OS X, de forma predeterminada crea una carpeta de perfil de usuario llamada...
~/Library/Application Support/Firefox/Profiles/xxxxxxxx.default
donde xxxxxxx son caracteres ASCII aleatorios.
Algunos de los usuarios de mi aplicación han descubierto recientemente que sus carpetas de perfil tienen lo que aparentemente es una marca de tiempo de época Unix en milisegundos adjunta al nombre de su carpeta de perfil, por lo que se convierte, por ejemplo...
~/Library/Application Support/Firefox/Profiles/xxxxxxxx.default-1352077074018
Me doy cuenta de que un usuario avanzado puede editar los nombres de los perfiles de Firefox, pero estos usuarios dicen que no lo hicieron. ¿Alguien sabe qué software haría eso con un perfil de Firefox y por qué? Supongo que lo hizo el propio Firefox o tal vez una extensión de Firefox.
(Admito una aplicación que interactúa con Firefox, lo que dificulta que mi aplicación realice un seguimiento de ese perfil).