Insert three expansion panels: the first panel contains the
general options, the second panel contains the hover settings
and the last panel contains the weight-class settings.
The tag-cleanup settings are now in the general options.

This commit adds options for automaic spell checking, notation,
alphabetical sorting, randomly rotating individual words and displaying
the words with the highest weight.

To include the tag cleanup options while keeping track of the settings,
this commit inserts an empty ExpansionPanel and adjusts the navigation
accordingly.

This post inserts the settings for all ten weight classes.
It separates them with horizontal lines, adjusts the design
and offers a translation.