Investigate improved search #13
Description
ReadTheDocs added a way to influence search results. We should get acquainted with this and make use of it in the documentation.
See https://docs.readthedocs.io/en/latest/config-file/v2.html#search
{{ message }}