I find it particularly interesting that they post this as if it's a discussion to be had with the community yet they've already gotten permission[1] from developers by asking them beforehand, in private.
[1]: https://github.com/audacity/audacity/discussions/932#discuss... (comments from developers themselves also exist further down in the thread)