@tom What does the site search index? It does not seem to include commits or profiles.
Commit
d86a659
@paulinevos - That is a reasonable misinterpretation. I meant "profiles," as in the bio in your GitHub profile, not just the id/name of the GitHub account (I have not checked if both are searched, as like you, I use my real name).
As an real use case example of this failing,…
Ahhh no, those are not embedded (yet). But this is something I want to power Tom with. I’m just extremely busy this week
commit d86a659