From the Sept 2015 thread, someone posted some JS that will let you search all of the comments. They give an example using wildcards that makes it easier to sea

From the Sept 2015 thread, someone posted some JS that will let you search all of the comments. They give an example using wildcards that makes it easier to search for numbers. https://news.ycombinator.com/item?id=10155220 https://news.ycombinator.com/item?id=10155220