Planing to move to a new Host with new IP. Old Host Ubuntu 18.04 with current version of ISPconfig, new one 20.04. Q1) Any known conflicts with Ubuntu 20.04? Q2) Will Migration Toolkit be able to do this or are there any known problems due to newer OS version? Q3) Is there any checklist what "needs" to be done after a Migration? I will not be running a DNS and have to manually configure SPF,DKIM and DMARC again. Anything else?