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?