@d7f4cce1 What's the file format? Is it human-readable and editable (which would be a workaround for ordering bookmarks).