Suggestion: Search box on fedoraproject.org home page

[Andrew Myers]

Hi All,

I've been on this list for some time and haven't contributed much :-|,
but I do have a suggestion to make..

I was trying to find the list of mirrors today and went to
http://fedoraproject.org.  From there I had to click "wiki" before I
could find the search box.  Since I've used the wiki a fair bit I know
that's where the search is, but perhaps not everyone would know that.

Is it worth integrating a search box into the side bar or top right of
the fpo home page?  If so, I'm happy to have a crack at it myself if
someone can point me in the right direction to grabbing hold of the
code.

Andrew.