Hacker News Reader

Which is generally slower than Googling, because it's paged content in a terminal which can search only for literal strings?

This was true a decade ago; unfortunately Google has become more or less useless for most purposes at this point