* Add the option to migrate old profiles (#879)
* Sort provider servers on iOS