Hello, This is my first post to Fedora Documentation Project mailing list ! So I am going to state the obvious and say something annoying ;) AFAICT There is no search facility on docs.fedoraproject.org site.