Update submodule to use the 'https' scheme to prevent GitHub Pages build failures
Add missing manual page example PDF
Add 'install' rule for packaging