On Tue, Jun 27 2023, Andrew Cohen wrote:

> I think the following version should take care of it. Try it for awhile
> and see if any other problems arise.  If not I'll push it to master.

Hi Andrew,

No other problems so far. It works for me very well!

Thanks,
-- 
           Peter