Thanks for reporting this @tistructor! The people at Arduino who are able to fix these errors probably don't monitor the forum closely. There are two effective ways to bring the issue to their attention:
- Submit an issue report here: https://github.com/arduino/Arduino/issues/new/choose
(in addition to the classic Arduino IDE code base, this issue tracker acts as the catch-all for things that don't have a dedicated tracker)
I already checked to make sure there wasn't an existing report about this. - Submit a ticket to the Arduino support system via this form: https://www.arduino.cc/en/contact-us
It is explained here:
and previously discussed by the forum community here: