DocSearch: The easiest way to add search to your documentation - View it on GitHub