Remove old Onionperf DNS records
Hi! I'm archiving the logs and retiring some OnionPerf instances (see tpo/network-health/metrics/onionperf#40027 (closed)), so the following DNS records can now be removed:
op-hk.onionperf IN A 37.218.240.75
op-hk2.onionperf IN A 103.104.244.142
op-hk3.onionperf IN A 103.104.244.136
op-hk4.onionperf IN A 103.104.244.142
op-hk5.onionperf IN A 18.163.35.183
op-nl.onionperf IN A 37.218.247.40
op-nl2.onionperf IN A 37.218.247.100
op-nl3.onionperf IN A 37.218.242.157
op-nl4.onionperf IN A 37.218.247.100
op-nl5.onionperf IN A 37.218.245.198
op-us.onionperf IN A 37.218.241.144
op-us2.onionperf IN A 37.218.241.56
op-us3.onionperf IN A 37.218.241.25
op-us4.onionperf IN A 37.218.241.56
op-us5.onionperf IN A 37.218.241.108
Thank you for your help!