Diff gnuconfig-20230731 with a gnuconfig-20260517

Thank you!