Thanks for this!
Successfully migrated to https.
Great that WD automatically update the robot.txt and sitemap.xml.
Don't forget to add them and the new https adress to google as new property's,...