[Projects] [PATCH 4/6] Distribute gnulib.modules.