HotDocs: Search 🔜 INFOSearch is currently under development. You can chime in on this GitHub discussion to share wishes and feedback.