Resolves #14: Added option browser.bookmarks.autoExportHTML