Further to my question above, and still investigating… the problem seems to be related rather to the latest “Audio Player” plugin update, maybe something to do with wpautop?. I hope to post a final diagnostic here soon.
Thanks anyway for any pointers,
J