I think we should change the defaults of allowOverrideWithoutParam, allowImplementsWithoutParam, and allowAugmentsExtendsWithoutParam overrideReplacesDocs, implementsReplacesDocs, augmentsExtendsReplacesDocs (their non-deprecated replacements) to true, as this is I think a pretty rational loosening.