Excerpt:
Most major subreddits show a decrease of between 50 and 90 percent in average daily posts and comments, when compared to a year ago. This suggests the problem is way fewer users, not the same number of users browsing less. The huge and universal dropoff also suggests that people left, either because of the changes or the protests, and they aren’t coming back.
Back in like 2018, reddit posted some user stats, including a list of "most addicted cities". They forgot to scrub the results and Eglin Airforce Base was the top rank.
The fact that it wasn't blocked implies reddit admins are OK with the airforce's botfarm, and would allow them to use the API.