manual-premium.md: merge changes in manual.md into the premium manual [ci skip]#6752

danmar merged 1 commit intocppcheck-opensource:maincppcheck-opensource/cppcheck:mainfrom

cppchecksolutions:manual-premium-remarkcppchecksolutions/cppcheck:manual-premium-remarkCopy head branch name to clipboard