Add OpenSearch API support
The old texdoc.net supported the OpenSearch API which made texdoc.net show up as a search engine in the address bar. However, the new texdoc.org does not include the required HTML markup for OpenSearch. This merge request adds support for the OpenSearch API to texdoc.org.
You can see a demo of me adding and using the texdoc search engine here here:
I also added some icons to the project since Firefox shows the search engine using just its icon. The icons are just the standard TeX wordmark since I'm not very creative. If you have any ideas for a better icon, go ahead and change it.
I've never used Kotlin before, so I pretty much just guessed at how to add the proper HTML tags to the <head> of the main page. The OpenSearch documentation shows what the proper tags should look like.