Yeah it's an insane amount of work for a decent sized fix. I think you're right about how important it is. I think also demonstrates that we are approaching the point of diminishing returns for change...
If you have any suggestions for incentive-compatible mempool designs I’m sure people would love to hear them! :)