I would like to have the "Arduino" brand to be connected to Arduino.cc
It has become a strong brand name.
But I don't mind if the Arduino.org boards still carry the Arduino name and are called "original Arduino board made in Italy". That will be something like "Coca-Cola Regular". Other tastes can be made elsewhere and be "Certified by Arduino.cc".
It is nevertheless a sad turn in the Arduino story.