Oh, this is sad. I completely forgot to check the issue tracker, silly me!

And it is also sad that the existing issue had been opened so long ago and so little progress has been made...

Edit (2018/07/29): and I still find myself spending my time and energy on this... earlier today I tried to redirect my suggestions to their issue #1754, also informing what files in the source code have the buttons. The issue had been closed for a couple of months. Now, they've reopened it. Here's to hoping something comes out of this.