A related non-tool file.

