Sactioning the practice of submitting unpublished notes as PENs#13

msdemlei wants to merge 1 commit intomainivoa-std/DocStd:mainfrom

clarify-ensivoa-std/DocStd:clarify-ensCopy head branch name to clipboard