Comment to 'How to safely move Jot Server from one domain name to another?'