gotAPI/HTML - Instant search in HTML and other developer documentation