I know that the Genuino brand was created after legal disputes. However, according to this blogpost, the issue has been resolved. However, the Arduino store still sells Arduino AND Genuino-branded boards. This site here sells Arduino boards along with Genuino boards. Is the Genuino a discontinued brandname which had a surplus of manufacturing, or is Genuino still the brand that is supposed to be bought from when buying in Europe?