That seems likely. There is research that in online communities there is a 1/10 ratio of people who post anything to lurkers, and a 1/10 ratio of posters to “power users”

Those 1% power users on Reddit are definitely not using the official app.