Comment 10 for bug 1489944

Plugin is updated.
If you have used this plugin before keep in mind that now you should first click on the button in the toolbar to make the bar with bookmarks visible.

Change log:
- Now the button in the toolbar toggles between hiding and showing the bar with bookmarks. To add bookmarks use a new plus button in the bar or popup menu in the Index.
- Some minor changes.