(from @Jantje) I really hope the Arduino core team fixes these issues soon (like in yesterday)
If even one of them participated in these discussions there might be some hope.
Perhaps they are all too busy making a similar mess of the Tre.
And thanks for making the list of issues.
...R