[dns-wg] Changes to RIPE DNS Infrastructure