Based on https://wikitech.wikimedia.org/wiki/Switch_Datacenter#Manual_switch:
- The DNS discovery name planet.discovery.wmnet needs to be switched from one backend to another as in example change https://gerrit.wikimedia.org/r/891369. No other change is needed.