I came up with a trick to notate (most…) of the open string harmonics, with the correct (noteperformer) playback.
I edited the circled noteheads (which I don’t need) to be a bracketed notehead instead:
Then if I change that notehead to an artificial harmonic, it only applies to the lower note:
Result with changed notehead:
It’s not perfect, but good enough for me!