+option "theme" T
+#~~~~~~~~~~~~~~~
+"select startup theme"
+ string typestr = "name"
+ optional
+ details = "
+ If this option is not given the default theme is used.
+ If the given name is not a valid theme name, the list of
+ available themes is printed and the program terminates.
+"
+