A set of tools to manage bookmarks of Mozilla Firefox