The user interface of the current Extension Manager will be changed to
ease the usability with the aim, that each user can work easily with
this UI. Especially the need to differentiate between user extensions
and shared extensions will be eased by an appropriate interface design.