Invalid domain name

https://xrnet.idi.ntnu.no is no longer in use.