Re: [discovery] Wikipedia.org portal - New search box deployed to beta, soon in production!