The annot editor and annot doc was beautified.
Annot Editor:  ...has now a more complex widget
structure that allows for a better usage of space.
Also, we have shortcuts for the buttons!
Annot Doc.:  ...has a better header structure,
and I changed the default behaviour to absolute
rather then relative time.  Maybe that should be
modifiable in a separate config. file.