Add `z3` as a allowable search term

Site Feedback
1

Your search term is too short.

Is it possible to add some exceptions e.g. z3?

1 Like
2

Where did you get that exactly? The category for this post is Site Feedback so I’m assuming it’s something around ocaml.org but I can’t find any search field that would give this output.

3

It appears if you use the discuss.ocaml.org search. And it seems to be configurable.

4

cc @avsm the main discuss admin

5

As a workaround, you can search for "z3" or +z3.

1 Like
6

I mean Search results for '' - OCaml.
I usually use the magnifier button around the top-right corner of the page to start a search.

@ivg’s workaround is good to me. I never knew that before…

7

This is what I was thinking of.
Honestly, I don’t know much about other useful length-2 words.

I am satisfied with the workaround “z3”.