Release Notes: With this version, the HTML frames are gone and the navigation panel now presents a tree. JavaScript is now required. Many bugs were fixed, smaller new features were included, and the documentation was redesigned and contains an index.