Add Search Box to the Hotwire doc site

[michael-yin]

I am a Python developer now enjoy building modern web app using Hotwire + Django.

One inconvenience I have found on the Hotwire site is the lack of a search function for quickly finding information.

I suggest adding a search box to improve the user experience.

Thanks