Hi!
On the issues repository, there's a milestone 0023.
Does that mean a new release of Arduino is on-going?
Best regards,