Also my first thought. Reddit search is woefully inadequate for its own content.