My point is still valid, but when aros dominates the scene, then I would have to reconsider. But as you say aros is not the official amiga OS.
I left the camp around 1994/95 and at that time there was no official "AmigaOS" but "Amiga". Today some people are supporting "AmigaOS" because it is the only one with legal "Amiga" in its name and it somehow is based on old code whereas MorphOS and AROS had to rewrite everything. On API level all three "NG" options are very similar, partly even identical (MorphOS and AROS are very similar). AmigaOS seems to go a different route trying to make it as incompatible to the others as possible (my personal impression). I do not care about "official" but what option is offering the best future and there I do not see much hope for "AmigaOS" (with or without Trevor).