Yeah, that one really surprised me.
I knew that RiF had to rename at some point and I just figured that’s when Reddit took issue with the trademark infraction of all Reddit apps, which would have kind of been fair enough.

But that the RiF dev actually had a separate deal, and his app was already called “Reddit is Fun” (which users almost certainly wouldn’t mistake for the official app),
and that deal still got cancelled – I don’t get that one.