I reality now, is that there isn't really an "official" AmigaOS... People can just use whatever they want to use.
You're half right, there is an official AmigaOS but people can use whatever they want.
"Official" in this case just means the name was licensed. It's no different to branded sports mechandise.