If you really are that lazy; arduino.cc and arduino.org settled their dispute and have setup a holding company to organize device sales using he Arduino brand. In a addition, a not-for-profit company is being setup to run the educational part of the organization.
I'm assuming this fixes all the B.S. that was the "Genuino" fiasco. Good riddance but the brand has been severely damaged by their scorched earth tactics with devices like the Raspberry Pi gaining amazing traction. It will be interesting to see if it can recover.