I have created a task for the pdf manual issue. https://www.bforartists.de/content/one-big-pdf-manual
One point is decided now: We will not include the manual into the binaries. The manual is linked from inside Bforartists in the splash screen and the help menu already. So no need to include the manual into the binaries. But thanks for the idea.