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.<p><a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10155220" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10155220</a>