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

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]. 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. In effect they've added a huge paper cut for me, not removed one. [1]: https://blog.github.com/changelog/2018-08-17-copy-url-comment-action/ https://blog.github.com/changelog/2018-08-17-copy-url-commen...