PRs already reviewed

I cross checked debian and arch, should be good to merge: