The IHE_FormatCode_codesystem contains the code urn:ihe:pcc:ic:2008, but not urn:ihe:pcc:ic:2009.

The 2009 code has been defined by IHE PCC, and then dropped in a later revision:

• IHE PCC Immunization Content (IC) Trial Implementation Rev. 2.2 (page 19) introduced urn:ihe:pcc:ic:2009.
• When incorporated in IHE PCC TF Rev. 9.0 (page 35), it appears as urn:ihe:pcc:ic:2008.
• Before that, it appeared as urn:ihe:pcc:irc:2008 in IHE PCC TF Rev 8.0 (page 34).

During the lifetime of the IC Trial Implementation, it was apparently picked up by multiple implementers:

• https://wiki.hl7.de/index.php?title=1.2.276.0.76.11.71
• https://fhir.ch/ig/ch-term/ValueSet-DocumentEntry.formatCode.html
• https://sequoiaproject.org/wp-content/uploads/2018/08/The-Sequoia-Project-Healthcare-Directory-Implementation-Guide-V9.2.2-DRAFT-Clean.pdf
• https://smt.esante.gouv.fr/fhir/CodeSystem/TRE-A11-IheFormatCode

For these reasons, I think it would be justified to add urn:ihe:pcc:ic:2009 to the CodeSystem, maybe with the deprecated status.

The same point could apply to urn:ihe:pcc:irc:2008, but I, for one, don't need it.