PRs already reviewed

I think this is an uncontroversial change (but probably needs someone from core team to look with more attention):
https://github.com/NixOS/nixpkgs/pull/41966

Another uncontroversial change I think:
https://github.com/NixOS/nixpkgs/pull/80769

Up-to-date with upstream, author fixed all issues
https://github.com/NixOS/nixpkgs/pull/83579

After a long review this PR seems ready to merge:
https://github.com/NixOS/nixpkgs/pull/85810

Bump:
https://github.com/NixOS/nixpkgs/pull/107998