I'm finding this search to be very useful!
And am pleasantly surprised that searching for something like covid19 also includes COVID.
However, when I search for BIP119, I get all other BIPs in the results as well.
I tried what I thought would do "exact search", "BIP119" (using quotes) but the search results did not differ. Fortunately, my browser does highlighting of matches when doing a page search, so I was able to easily find what I was looking for. But some method to indicate exact search would be preferable.
Is there some way to do an exact search?
Not yet. I’ll see what I can do. Changing the query is kind of easy.
reply