For the text enjoyers out there: search for users on the feed page in the search bar, so now it is easier to find everyone who is here.