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.
 
Regards,
 
Aaron