Eu tropecei em uma resposta que parece ter funcionado. Pena que não há uma maneira mais limpa de fazer isso do que alterar as configurações padrão. Preferiria que a configuração Configurações do Sistema | Energia funcionasse.
Eu editei o arquivo '/etc/systemd/logind.conf'
sudo vi /etc/systemd/logind.conf
Então eu descomentei a linha (removi o início #) contendo 'HandleLidSwitchDocked = ignore' e alterei o valor para ser:
HandleLidSwitchDocked=suspend
Após a reinicialização, tudo parece estar funcionando como esperado, embora eu ainda seja solicitado a fazer login duas vezes. (Uma vez para desbloquear e novamente como usuário do sistema operacional.)