Argh. Por fin he tenido tiempo y energías para resolver los problemas de red que tenía configurando la red de una Raspberry Pi sin conectarla a una pantalla.
Que es muy molón que Raspberry Pi OS haya añadido soporte a herramientas estándar que te permiten tocar unos ficheros en la tarjeta MicroSD para añadir configuración automática y que puedas hacerlo todo sin conectar nunca pantalla.