None of those facts contradict that this PR was overall a good change. Maybe it’s not an earth-shattering improvement, but even a 0.0001% improvement is a step in the right direction.
The attacks on Bitcoin Core and push to move to knots is a bunch of ideological zealots that can’t accept that people may use bitcoin in ways they don’t approve of.