Hacker News new | ask | show | jobs
by claudius 4600 days ago
The HTML version seems to be searchable, so one just has to input that into one’s favourite browser text search field?