> Mike [...] can license the Amiga name though. And that is a nice change
> of circumstance, we haven't seen that since Commodore USA folded.

Philippe Lang got his "Amiga" trademark license after Commodore USA folded (see comment #611).

> Mike [...] has opened himself up to a countersuit.

That's what happened in March 2018 (see comment #153).

> there was more to the 68K community than the Amiga.

Yes, but nobody (except you) is talking about the "68K community" here :-)

> how many of you think OS4.2 will ever be completed

I think there will be a release called "AmigaOS 4.2". Hyperion director Costel "Cyborg" Mincea already said so a while ago, emphasizing his stance that the version number doesn't allow to draw inferences about feature set.

> even though all Aeon customers are owed a copy

Only X1000/Nemo customers. A-Eon didn't repeat this mistake with the X5000/Cyrus and probably won't with A1222/Tabor.