To add to what Gerald is saying if you use a Chromium base browser and this might be true with others you can 'Print' to a PDF which is saved in your downloads directory for your browser. There is also a 'Save as PDF' but in Opera(what I use) that does not work, only Print works.
I'm also not able to make this work in PI. My default browser is Chrome; but are you saying that the process explorer in PI somehow uses the Windows browser to display the documentation?
I am able to view the documentation in Chrome (and from the PI website). But I was hoping that an exported PDF might have been more readable.
I think this is part of a widespread problem where a lot of online documentation uses very poor layout practices that makes it almost unreadable (a pet peeve of mine). When the font size is too small for the line length, it gets very difficult to read. (For some reason, a great many of the best tutorial websites for PI are very bad at this, and don't use "responsive design." If they did, you could shrink the width of the browser window and the text would re-flow, rather than be clipped at the right.
A page is also more "responsive" when the font size can be resized by the browser zoom; but the page designer has to design for that, otherwise the text just disappears off the right.
One design challenge is when images are in the document flow, and they don't shrink when the window shrinks. Then the image width stops you from narrowing the window (to make the text re-flow). PixInsight images can be a challenge when they need to show the whole screen, which is impossible to read if too small.
Once in a while, a web page has a separately created PDF version with a more readable layout for printing (
not simply a copy of the browser page rendered as PDF--that prints the same as the unreadable browser printout).
OK, glad I got that off my chest!
Ralph
(P.S. The
information in the PI documentation is usually very clear, well-written, and informative. But trying to
read the details of ImageIntegration right now is making me crazy
)