Enable search for three letter words

[yanokwa]

Currently, if you search for sms you don't get any results. This is likely because search in Sphinx is limited to some number of letters.

[yanokwa]

@adammichaelwood Do you know how to do this offhand? I can't find anything in Sphinx's docs or in my quick Googling.

[adammichaelwood]

I am not aware of any way to patch this problem.

However, issues referring to it suggest it was already fixed,
and that fix should be in our current version.
(cf. godotengine/godot-docs#185, sphinx-doc/sphinx#2621)

I'd be curious to see if the problem goes away after an upgrade to 1.7 (#740).

Alternatively...
Sphinx search is notoriously bad. This is just one more example.
We've chatted informally about swapping in a better search engine. Maybe we should make that a formal discussion and start figuring out what other options are available.

[gaurav-goswamii]

I tested the current documentation search and sms now returns results. It looks like this issue may have been resolved by a later Sphinx upgrade. I couldn't reproduce the original problem.