Export user preferences

Enter a file name for the preferences file and click Export.