On 03 Jun 2021, at 09:48, Patrick Woolsey <
pwoo...@barebones.com> wrote:
> Though it's not automatic _per se_, Markup -> Utilities -> Translate Text to HTML with suitable options set will do the job.
Ah, yes, that seems to do the trick.
It would be a nice thing to be able to do wightfrom the syntax check results however.
--
Spontaneity has its time and place.