* https://github.com/Stichting-MINIX-Research-Foundation/minix...
Then this one turned out to be a chat request.
* https://github.com/Stichting-MINIX-Research-Foundation/minix...
And this one the author actually asked to be closed, because the problem is fixed. It's still open.
* https://github.com/Stichting-MINIX-Research-Foundation/minix...
If those are any indication, this is an issues list where no-one gets rid of the rubbish, and it thus its existence alone tells one nothing at all, as one probably is going to have to weed a whole bunch of very clearly non-bugs out to determine if there's anything left.
tambourine_man posed a valid hypothetical, but that's all it is: hypothetical.