Extracting bookmarks from the bookmark file is slightly more elegant