okay wtf #nostrudel - i used to be able to search for either notes or users, now when I search it just pulls up notes and groups. how tf do I search for users? #asknostr