Follow-up: For a small number of files it is possible to just “Export Originals to Library” and use “Copy Adjustments” in the file-based window and “Paste Adjustments” in the library window to transfer the edits.
Of course it would be awesome if the two steps could be merged into an “Export Originals w/ Adjustments” since the functionality is already there.