I use a rock.

In T12804#226344, @epriestley wrote:

What do you use file content search from the web UI for? (That is, in what situations is web UI search better than git grep?)

I execute content searches very frequently (hundreds per day?) but about 99.9% of them are git grep and maybe ~0.1% are web UI.

In T12804#226303, @epriestley wrote:

Maybe I'm misunderstanding what you mean by "omnibox"? How do you use the search input to search for anything other than file content?

I find it really annoying how there isn't a real repository search (grep files) before you go click on "Browse". Generally speaking, search in Diffusion is very confusing with three different search fields in comparison to GitHub, which has an omnibox.

Okay then, I thought this was a bug as it didn't seem to make sense for me as a user. Sorry for taking up your time.

The Croatian letter "č" is also missing, but it's the only Croatian diacritic that's not present in the distributed version of Aleo, resulting in this: