Comment #7 does not support your statement that "OS4 [will] probably just end up in legal limbo forever".
If Hyperion go bankrupt, the ownership of OS4 is unclear and can only end in dispute. There would be a free-for-all between the liquidators (if any) developers, A-Eon, and even outside parties with questionable connections to the name like Itec. The very least that would happen is that anyone who attempted to go near it again would get endless vaxatious litigation - suits and claims unlikely to succeed, but expensive to constantly defend against.
Legal limbo. Forever. Just like the Amiga name.