PRs in distress

I’d appreciate any other opinions on this PR:

https://github.com/NixOS/nixpkgs/pull/87369

Personally I don’t really want to merge it as is, but I would like some other people to either agree or disagree with that so we can proceed.