"In a negotiated settlement he again rejected any suggestion of licensing and went for a cash-out settlement. He repaid us for most of our legal bills and promised to stop selling his program sometime in 1988.
Then he fiddled with the file format a bit, renamed it from PKARC to PKZIP, and kept right on selling it. "
is contradicted by this:
https://en.wikipedia.org/wiki/Phil_Katz
"... settlement of the lawsuit ... under which ... PKWARE paid SEA to obtain a license that allowed the distribution of PKWARE's ARC-compatible programs until January 31, 1989, after which PKWARE would not license, publish or distribute any ARC compatible programs or utilities that process ARC compatible files.
...
After the lawsuit, PKWARE released one last version of his PKARC and PKXARC utilities under the new names "PKPAK" and "PKUNPAK", and from then on concentrated on developing the separate programs PKZIP and PKUNZIP, which were based on new and different file compression techniques."
Wiki also says
"The SEA vs. PKWARE dispute quickly expanded into one of the largest controversies the BBS world ever saw."
Any greybeards care to comment?