Server changes

Should hopefully not affect anything, but if you do notice some broken links or the server seems unresponsive please just reset your device to get the new DNS.
Please see Q1 in the FAQ how to reset your device.