+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 <t...@sss.pgh.pa.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. >