Thanks for this. Normally the curly quotation marks do appear. I’ll just cut and paste them in this case.