Redmine#5342: document and simplify VerifyPromisedPackage