Download Manager has been migrated to a new API. The extensive modifications were needed because of Mozilla Gecko platform API changes. When invoking History, the Library will be shown with the History list selected. Changes: - The Bookmarks Manager has switched its name to Library, and now also includes the History list.
