We waited longer than planned in previous communications to move the DNS to the new cluster (scheduled for April 28th, see https://wikitech.wikimedia.org/wiki/News/Wiki_Replicas_2020_Redesign), but with the old cluster slated for decommissioning, I’m redirecting the DNS to the new systems today. The old labsdb names are already pointed at it.