Segui até o passo de abrir o GRUB Customizer. Curiosamente o programa abriu sem problemas. Não apareceu aquela janela da primeira imagem sobre a configuração do ambiente.
Então voltei ao artigo e alterei o tempo do GRUB. Reiniciei e deu certo, em partes. Não tem o Manjaro na lista: