On 2025-05-03, Ingo Schwarze wrote:
> Given how sloppy people who are used to Linux tend to be,
> i worry that this might cause half the ports tree to crumble,
> so i'm not sure whether i should really propose fixing this bug.

ok by me to fix the bug, caveat ports people may disagree.

I think it's the right thing to do.