I wonder if this will lead to the ReVanced patches for the official Reddit app getting better? (ReVanced is the evolution of YouTube Vanced a modified YouTube

I wonder if this will lead to the ReVanced patches for the official Reddit app getting better? (ReVanced is the evolution of YouTube Vanced a modified YouTube app. But since they made it a generic patcher, it can now improve Reddit and other apps.) There's a patch to remove ads, and a couple of other minor things[1], but not much. I requested a feature to automatically minimize the Automod comments that are stickied to the top of every thread in many subreddits, and the request was closed with the reasoning that I could do that manually. That's true, but somewhat beside the point. [1]: https://revanced.app/patches?s=reddit https://revanced.app/patches?s=reddit