Rene,
Thanks for reminding me of that thread, to which I contributed. You are right then (and I was wrong, sorry!)
Do you think it really is only a question of changing the single line as indicated in Oscar’s (how is he, does anyone know?) post here?
I did try that, but the icon for the Style was that of BBEdit, and it didn’t work…
Thanks for your suggestions!