Finding TOR connections is painful unless you know the exact server. Searching for servers isn’t fuzzy, so searching for “Tor” returns nothing. There should be a TOR toggle next to the Secure Core connection toggle to only show those connections