Reddit is Fun will shut down on June 30th in response to Reddit API changes

Oh boy, it's another one. This is the big Android app. With Apollo and Reddit is Fun going, this probably displaces a huge amount of core redditors. Maybe this is the time to start going harder into getting people moved over to the Fediverse with Lemmy?