How do we report a bug?
Details are in:
Perhaps post here: http://arduino.cc/forum/index.php/board,21.0.html
ok, done.
Thanks.