I would like to save a selection from a library in JabRef 5.1. This question was answered here. However, the option "Save selected as..." is not present in my file menu. The option "Save library as" saves the entire library, not just the selected entries. The option "Export selected entries" saves to other formats.
How can I save a selection of entries in an existing library in a new library?