Parece que a resposta foi que eu configurei a conta da minha esposa sem senha, então o estágio de login e a tela foram ignorados. Agora nós adicionamos uma senha, o pequeno ícone da roda dentada está lá e clicar nele dá a escolha do Gnome ou Mate, conforme desejado.