Search for “device id” does not find existing matching text

[fortran77]

On the documentation website https://docs.syncthing.net/index.html I entered “device id” (also “device ids”) and got no search results. However, a Google search worked and led me to the pages at https://docs.syncthing.net/dev/device-ids.html#description.

So it appears that the search built into https://docs.syncthing.net/index.html is failing to find matching text.

I originally reported this as https://github.com/syncthing/syncthing/issues/3997 and am reporting it here again as directed.