Ooh, just checked the new(?) #Peertube search – https://joinpeertube.org/browse-content. It's surprisingly fast and has a nice UI. Searching for "CiviCRM" (no hashtag needed) it brought up 69 videos, 2 channels and 4 playlists, in under a second.
Browse PeerTube content | JoinPeerTube
Find PeerTube videos, channels and playlists by browsing PeerTube content using SepiaSearch!JoinPeerTube