Rather than update the user manual (which required people to download it, etc.), I decided to put better help into the application itself. The help menu has a new window which displays the contents of the old manual as individual topics + 2.0 features. This is also available in the extension by pressing the “?” button at the bottom right of the window.