> On Mar 23, 2025, at 21:15, David G. Johnston <[email protected]> 
> wrote:
> 
> No idea if we take that shortcut.

I remember looking into that not too long ago, and the answer's no.



Reply via email to