

To-do list:

- animation hints when jumping to specific locations
- preference page to define the default toolbar.
