Yesterday, at the @phpugffm, I told that I started web development with HTML, before PHP and JavaScript existed. And nowadays I'm back focusing on HTML again. Guess what I learned today: there is a search HTML element.
https://html.spec.whatwg.org/multipage/grouping-content.html#the-search-element