Migrate from Windows to MacOS

There is an entry for that in the FAQ