> It's the original AmigaOS3.1 that the suit is around, AFAIK.

According to the published documents, the lawsuit is primarily about:
- copyright to Kickstart 1.3 (as included with OS4.1 media and Hyperion's Kickstart 3.1 distribution)
- ownership and use of "Amiga", "AmigaOS", "Amiga OS", "AmigaOne", "Amiga One" and Boing Ball trademarks

AmigaOS 3.1, while mentioned in several contexts in the complaint, is not mentioned in Cloanto's prayer for relief, so it doesn't seem like Cloanto expects any orders with regard to it.