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

Thank you!