Diff gnuconfig-20230731 with a gnuconfig-99999999

Thank you!