This proposed patch is simply intended to provide more help for people wanting to make changes to the source code, starting from the git repository.
The tool-versions.txt file should probably be a checked in file maintained via move-if-changed, but I haven't done that yet.
