First official release of the new Ladder editor. Compared to the pre-release V0.9, it contains features as refactoring, bookmarks, and printing.