A set of tools to manage Mozilla Firefox bookmarks