BUR #6843 has been approved by @nonamethanks.
create implication has_downscaled_revision -> source_smaller
has_downscaled_revision should be used when the image at the source was revised with a downscale. As a result, source_smaller should always apply. A lot of has_downscaled_revision posts are missing tags like resolution_mismatch as well, which would be added through this implication since source_smaller implies resolution_mismatch.