A resposta acaba sendo trivial: esta é a minha experiência.
A linha superior da janela do terminal tem uma opção Edit , que abre um menu curto e a seleção da opção Profile preferences abre outra janela com várias guias. Use a guia Colours para selecionar o tema desejado. A configuração é preservada ao reiniciar o computador.
Talvez eu devesse ter analisado isso antes de postar minha pergunta, mas espero que isso seja útil para outra pessoa na mesma situação.