[ibecker]

With the realm loaded:
- Click on "Manage" at the top
- Click the "Realm" button
Under "Manage Realm" in the main part of the window, the realm name will appear in an editable text field. Change it there and click the "Save" button.