A search engine for [PeerTube](https://joinpeertube.org/) videos and channels, developed by Framasoft.