Use of BookmarksManager, options handling