 and marking particular properties as belonging to the
   currently selected configuration is also not trivial (cf. <code>CustomizerRun</code>). Assuming there were a
   conventional storage format for configurations, it would be nice to also have an extension to
   <code>StoreGroup</code> to mark certain properties as (potentially) configuration-specific, and perhaps even
   to adjust a GUI display to make the elements switch themselves according to active configuration. However it
   is not clear whether 