That is an extremely reasonable guess.
I assume that software could have done more than they did with it (it was literally just one board/feed), but they definitely just wanted it gone. A subreddit is free, and you don't need to host off-topic discussion.