Huenison: Update - manual re-added

Due to a mistake, the PDF manual had been removed from the previous builds. This update fixes the problem. Sorry for the inconvenience. By the way, given that Huenison is rich of details and nuances which are difficult/…