On 2025-02-22 22:56, Paul Eggert wrote:
> I may try to come up with a better (less intrusive) way to pacify GCC.

I did that and installed the attached into the master branch; please 
give it a try.