JMP Documentation Library gone in v18?

[#1]

Previous (pre-v18) versions of JMP came with an 80+ MB PDF file that documented all of the features. 

Version 18 doesn't seem to come with that document, and only seems to point to web resources, which isn't terribly useful on air-gapped systems.

Is that document hidden somewhere else in the interface of v18?

[#2]

Hi. The PDF version of the documentation can be found as an extension in the JMP Marketplace.

[#3 · Accepted solution]

JMP Note 632951 - Help Menu reorganized in JMP® 18  

The Documentation PDFs no longer ship with JMP. They can be installed using the Documentation Add-in, and they are available on the JMP Documentation page.