+1
Just after writing my last message it clicked and I understood that the
current wording is correct. Your suggestion makes it clearer, though.
Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> I was considering changing "the files they are used to build"
> to "the files that these tools are used to build". I think the
> main problem is just misunderstanding which things "they" means,
> and that should fix it.
>