Hi Benni, Benjamin Mack schrieb: > Hi Olly, > > should we deprecate the ext and the install-tool-config option as well > then? > > Otherwise we'd only remove have of the feature. > the config option should be removed. There is no usage beside that in core, ext is in TER? vg Steffen