We’ve released a new version of the user manual with:
- Many, many, many bugfixes
- New (incomplete) translations: Brazilian Portuguese, Danish, Catalan
- The online version of the manual provides a language menu. Readers are now able to easily switch to a different language of the same page.
- It is now …