Diff gnu-c-intro-ref-0_pre20230521 with a gnu-c-intro-ref-9999

Thank you!