Audacity got bought out, the users don't have any say. Best/worst case they'll close the PR after too much pressure, and implement it anyway behind a closed-source license in a couple months.That's a pull request, not an announcement that they're implementing it.
If these reaction stickers are any indication, I think you can safely stick with Audacity for the time being.
