Production mediawiki uses this:
$wgHTCPRouting = [ '' => [ 'host' => '239.128.0.112', 'port' => 4827 ] ];
Wikitech is behind misc-web, so that will purge the wrong varnishes when a page on wikitech changes. Is there an equivalent multicast IP for the misc-web varnishes?