The searchbox at the top of the pages on the English Arduino site (http://www.arduino.cc/) works now, and uses Google to search the whole www.arduino.cc domain including website, forums, playground, etc.
The searchbox at the top of the pages on the English Arduino site (http://www.arduino.cc/) works now, and uses Google to search the whole www.arduino.cc domain including website, forums, playground, etc.