Sim, todos os arquivos do projeto são incluídos no histórico e, portanto, o nome real estará no histórico do arquivo de usuários do projeto. No entanto, o histórico desse arquivo só é visível ao olhar para fora do Paratext, via Mercurial (como o TortoiseHg). Ele nunca é exibido de alguma forma na interface do Paratext.
A única maneira de remover completamente um usuário é usar o Convert Project para remover os vestígios do nome original. Como o Convert Project leva muito tempo e cria um projeto totalmente novo, deixo a você decidir se vale a pena.
Yes, all project files are included in the history and thus their real name will be in the history for the project users file. However, the history for that file is only visible by looking outside of Paratext via Mercurial (like TortoiseHg). It is never shown in the Paratext UI in any way.
The only way to completely remove a user is to use Convert Project to remove the traces of the original name. Since Convert Project takes a long time and creates a brand new project, I’ll leave it up to you to decide if it’s worth it.
Tradução automática de English