Ok, respondendo a minha própria pergunta, meu palpite de que a porta VGA estava na verdade HDMI estava correta. Para esclarecer, os três HDMIs representam
- HDMI 1 (ou 2) -porta HDMI externa
- Porta de exibição do tipo HDMI 2 (ou 1) -USB C (nunca tentei essa porta para exibição embora)
- HDMI 3 - Porta VGA externa
Uma vez eu adivinhei isso, eu tive que forçar o xrandr a exibir a saída através de um desses, já que o plug-in do VGA não foi detectado automaticamente. Eu sabia que meu projetor era 4: 3. Então eu tentei algumas resoluções de 4: 3, como (ambos os comandos eram necessários em todas as resoluções no meu caso - para adicionar uma resolução personalizada):
xrandr --addmode HDMI3 1400x1050
xrandr --output HDMI3 --mode 1400x1050
A maior resolução 4: 3 foi de 1400x1050.
Eu obtive uma saída no projetor com sucesso com HDMI3! Mas a exibição foi cortada. Então percebi que a tela do meu Laptop estava sendo exibida em uma resolução diferente (16: 9), então as telas não estavam sendo espelhadas adequadamente.
Alterei manualmente a tela do laptop para 1400 x 1050 e, em seguida, projetei:
xrandr --output eDP1 --mode 1400x1050
xrandr --addmode HDMI3 1400x1050
xrandr --output HDMI3 --mode 1400x1050
Agora, tudo foi bom. Depois de ligar, mudei a tela do laptop para a resolução padrão:
xrandr --output eDP1 --auto
Para uso posterior, eu coloquei os três primeiros comandos em um arquivo .sh, executei-os quando conectei e o último foi conectado.
Estas são as perguntas que me ajudaram com o palpite inicial. Muito obrigado!: