On 03/12/23 17:47, Paul Smedley wrote:

What version of VNC are you using - there are some recent updates
of Digi's port at http://os2.snc.ru/product-VNC.html It has been
very stable here.

It turns out to be pmvnc103. Until recently, it gave no trouble, so
I never even thought of looking for a later version. I'll install
that one when I'm up and alert tomorrow morning. Thanks.