DireSpume:
Unbelievable. Whoever is in charge of the Arduino website needs to make a note of that in the online Reference.
We've tried to get the documentation fixed, and preferably the bug fixed. No luck so far. We moderators are just pawns in game of life.