Used for labels in a graphical user interface (GUI).

Those options are listed in the group labeled <guilabel>Server Settings</guilabel>.

http://docbook.org/tdg/en/html/guibutton.html