Thank you. After watching a recent webcast, I noticed that there is a new GUI - appium-desktop, which seems to come bundled with 1.6.4-beta of the Appium server.
Using that GUI it became clearer that the platform dropdown on the old GUI is a bit misleading - you don't need to select from the list, you can just type in a platform.