# The decoders are pinned by SHA-256 from the envelopes: never converted. * -text