>> What's "Kickstart 3.1.3" and "AmigaOS 3.1.3" mentioned on pages 11 and 17, respectively?

> A mistake, surely.

Yes, but what is it supposed to mean considering it reads (emphasis mine) "Without permission from the Cloanto Parties or their predecessors-in-interest, Hyperion has used and/or registered AMIGA, AMIGAOS, KICKSTART, WORKBENCH, POWERED BY AMIGA, AMIGA FOREVER, and the Boing Ball Mark, among others, in connection with the distribution, sale, and/or licensing of various products, including New Hyperion 3.1 Kickstart ROM, AmigaOS Workbench 3.1, Kickstart 1.2, Kickstart 1.3, and Kickstart 3.1, “Kickstart 3.1 (40.72) for desktop Amigas,” AmigaOS 3.1.3, the 3.1.4 Products (i.e., “AmigaOS 3.1.4), and various articles of merchandise." on page 16/17?