This is a good place to post, but the Arduino developers don't have the time to monitor all the posts that are made to the forum, so they might not end up seeing your report here. It still makes sense to post here though because members of the Arduino community may have information.
Submitting quality bug reports does take some effort, but it's a great way to make a valuable contribution to the Arduino project.
Thanks!