Consegui voltar a uma tela de login fazendo uma inicialização a frio. Isso ficou velho rápido, então eu tentei uma inicialização quente para trocar de usuário e parece que funciona bem.
Não é a solução que eu queria, mas pelo menos podemos trocar de usuário várias vezes ao dia com uma inicialização a quente. Cada usuário deve salvar seus arquivos antes de trocar de usuário.