Redmine#5342: document and simplify VerifyPromisedPatch