A set of programs to manage Mozilla Firefox bookmarks