Is it easy to configure MediaWiki so that there is a Google search box on the navigation bar? It's definitely a nice-to-have, but I think it would be quite neat if it can be done easily. Ben