It's nontrivial to find examples of software from the late 90s to early
2000s with broken encoders at this point, though we know they've
existed. (Broken decoders are easier because they've resulted in
vulnerabilities from time to time.) We don't need the claim for the
point we're making, anyhow.