Changes
/* Profile selection */
== Profile selection ==
[[File:Profile_browser.png|thumb|alt=Profile Browser(collapsed)|Profile Browser(collapsed)]]
The name of the currently selected profile is displayed on the top of the view. By default, the last used profile will be selected here.
It is possible to change the profile by pressing the Profile Button. The profile selection flyout will pop up, from which the user can select any profile (see the figure on the right).
The "Favorites" tab shows profiles that the user has marked as favorites. To mark a profile as favorite, simply click the the star icon next to the profile's name. You will see it immediately appearing in the favorites list (sorted alphabetically). You can of course undo this action by simply pressing the star icon again to unmark the profile as favorite.
=== Browser ===
