I wonder if Reddit user activity has noticeably increased. Probably not.

Like, this will help Reddit in the short term, and honestly is a good idea from a search perspective (how many queries have I manually appended "Reddit" to?), but it doesn't necessarily help with the fundamentals of the platform.