config: Clarify which destination files have a different basename. * config/srclist.txt: Specify the gnulib-side basename in the third column of a few entries.
2024-05-13T23:13:15