TheiaをベースとしたArduino IDE 2.0ですが、RCを通過し正式リリース間近のようです…