This would be very unfortunate for them since their own inner search system is very rough around the edges. I almost always have to search for a Reddit post via Google instead.