@thread
I did notice this while reviewing the announcement linked to above:
We acquired all the Amiga.org brand and trademarks which were originally approved by Commodore in 1994 and pre-dates everything which came after Commodore's demise.
TrevorNevertheless Leaman Computing Ltd (Amigakit) registered an Amiga.org trademark in the U.K.
May, 2018This was just prior to the site closing for redesign.
#6