[19:22:00] <revi>	 quick Q: just saw https://wikitech.wikimedia.org/wiki/Wikimedia_Cloud_Services_team/EnhancementProposals/DNS_domain_usage , do we get backwards compatibility? (as in, tools.wmflabs.org links won't be broken by WMF)