Diff gnuconfig-20230121 with a gnuconfig-20230731

Thank you!