The answer, which has been confirmed to me by the customer/technical service groups of several major oil producers, is that different oils of similar or better service designations are compatible one with the other.
That includes synthetics and fossilics.
No need to flush.
You can even top up with a different brand if you run short.
I accept the concensus.