> all info for the X1000 has been pulled (although the menu link remains).

The X1000 page has been broken for about a year.

> I thought there was no contention over the AmigaOne, AmigaOS, or OS4 trademarks
> or use of the Boing Ball logo.

Oh there is, see C-A Acquisition's trademark case. Hyperion's attempt to register these trademarks, use of them for merchandise and use of them (except "AmigaOne") for 3.1(.x) products is complained about.