> they pointed out that historically [...], nobody really spoke about “Amiga OS”.
> And when I think of it, it strikes me that this is actually true!

Publications from 1991/1992 talking about "Amiga OS":

http://archive.org/search.php?query=amigaworld%20tech%20journal

> Escom/Amiga International picked up the Amiga IP

Under Escom it was Amiga Technologies, while Amiga International was the German Gateway (and later Amino/AIW) subsidiary.

> In November 2014 they re-release the “Workbench”

This was in October actually:

http://www.amigaforever.com/news-events/classic-support-3-1/

> potential new hobby machines like the NatAmi

;-)