Move aU specs to their correct position
Fix titles of navbar buttons
Fix undo/redo buttons
Fix mixup in histUndo and histRedo
Update name handling in configurator
More specs for name handling
Add deprecation warning for exercise
Fix configure() workflow of search
Path all plugins to new name syntax
Use display name in tab headings
Remove all definitions of names in conf files
Simplify main configurator functions
Use simplified configurator syntax everywhere