I've never used something different than Reddit is Fun (RIF for Fun now, I guess?) on Android for private use and the 'normal' web version if I Google something for work and end up on Reddit.
I've never used something different than Reddit is Fun (RIF for Fun now, I guess?) on Android for private use and the 'normal' web version if I Google something for work and end up on Reddit.