[rwth-multicast] Multicast troubleshooting: xorp.conf