Reddit's search traffic "was down meaningfully" last quarter.