I would think so. Bots are already rate-limited when accessing the API so it's hard to see how this has increased server load, unless there's something funky in

I would think so. Bots are already rate-limited when accessing the API so it's hard to see how this has increased server load, unless there's something funky in the backend involving private/dark subreddits.