This is actually the most exciting "feature announcement" that GitHub has made in a long time for me. User experience is to a large extend a sum of little things. Being able to select and copy diff contents without the ± markers is a great example and very much appreciated already!
I'm not holding out hope. They recently made it very difficult to edit PR descriptions as a result of the change to make it easier to "copy the URL of a comment"[1].<p>Previously there was an edit button. Now there's 2 buttons: "add a reaction" and "•••" which has a sub-menu containing copy URL & edit. I wonder which of all 3 of these I'm most likely to want.<p>In effect they've added a huge paper cut for me, not removed one.<p>[1]: <a href="https://blog.github.com/changelog/2018-08-17-copy-url-comment-action/" rel="nofollow">https://blog.github.com/changelog/2018-08-17-copy-url-commen...</a>
Unsure how much this will actually improve things, but I'm at least hopeful that they're thinking about the problem in this way; my issues with GitHub have very much been in the "death by a thousand cuts" camp.
fingers crossed they fix PR discussions becoming hard to find after you update the commented area. That's been a bugbear for me for quite some time.