+/**
+ * \class Index
+ *
+ * A class describing an Index type, such as "Index of Names".
+ * Different Index types are used in split Indices
+ *
+ * An Index has a name and a shortcut notation. It uses a
+ * user-specifiable GUI colour. All these can be set and
+ * queried.
+ *
+ * \class IndicesList
+ *
+ * A class containing a vector of all defined indices within a
+ * document. It has methods for outputting a '|'-separated string
+ * of all elements, and for adding, removing and renaming elements.
+ */
+