Add comment about PragmaIntroducerKind