Github and google groups support a search function at the top of the main page, but after a cursory glance (and maybe I’m blind) I don’t see a search box anywhere.
Does Discourse support having a search box at the top or somewhere prominent, so I can easily find posts I vaguely remember from the past? The site seems to be indexed - ironically it even is letting me know of similar topics to what I am type as I write this post…
(Sorry if I’ve missed something obvious)
