Yes, the PDF's are now packaged inside the Help Center jar files.
FWIW, the Help Center search function searches the PDF files as well as the HTML content. By default, search will report hits in any document type, but you can use the Advanced options to limit it to just PDF files, or just HTML, or just JavaDoc. You can also limit by product (Editor vs. Styler vs. PE vs...) or by user role (Admin, Developer, User).
Help Center is a departure from the old style help we know so well from previous versions, but once you get used to it, it's really pretty cool.
Oh, and if you're wondering where the ACL documentation went: it's no longer in the Authoring section like it used to be--they finally moved it into the Programming section. 🙂
--Clay