On Sat, Nov 04, 2023 at 05:58:19PM +0530, Visuwesh wrote:

[...]

> This discussion might also be of interest:
> 
>     https://debbugs.gnu.org/cgi/bugreport.cgi?bug=37577
> 
> and the bug that was merged with it:
> 
>     https://debbugs.gnu.org/cgi/bugreport.cgi?bug=22921
> 
> I get bit by this regularly.

Thanks for those, too.

Cheers
-- 
t