Sounds like that might be good enough.
What happens if the person has a Groups.io profile? Would we get this proposed "all activities" search, or would we get just their profile, as we get now? Is there a way to get both?
Would the activities search give us anything beyond what we can get right now by doing our own activities search?
Messages are the sole opinion of the author.
I wish I could shut up, but I can't, and I won't. - Desmond Tutu