Quando o Firefox é executado pela primeira vez no Mac OS X, por padrão ele cria uma pasta de perfil de usuário chamada…
~/Library/Application Support/Firefox/Profiles/xxxxxxxx.default
onde xxxxxxx são caracteres ASCII aleatórios.
Alguns usuários do meu aplicativo descobriram recentemente que suas pastas de perfil tinham o que aparentemente é um carimbo de data/hora Unix Epoch em milissegundos anexado ao nome da pasta de perfil, então se torna, por exemplo…
~/Library/Application Support/Firefox/Profiles/xxxxxxxx.default-1352077074018
Sei que um usuário avançado pode editar nomes de perfis do Firefox, mas esses usuários dizem que não fizeram isso. Alguém sabe qual software faria isso com um perfil do Firefox e por quê? Presumo que isso tenha sido feito pelo próprio Firefox ou talvez por uma extensão do Firefox.
(Eu apoio um aplicativo que interage com o Firefox, o que torna difícil para o meu aplicativo acompanhar esse perfil.)