Ahora sí (@victorhck) el nuevo artículo venía al mismo tiempo que rediseño y migración. Ahora va por https y ya se ha propagado correctamente el DNS.
Como decía, jubilando al operador de internet y consiguiendo hasta 20mb de descarga con huawei 4g, raspberry pi y tp-link con librecmc https://danielside.nom.es/internet-en-casa-con-modem4g-y-raspberry-pi/ (the easy way)