Is "lockfile" an appropriate term to use for these files? I think of a lockfile as something that avoids race conditions among multiple concurrent processes. As in Wikipedia:
https://en.wikipedia.org/wiki/File_locking#Lock_files In this repro discussion, a "lockfile" seems to perhaps be "locking" a library reference in a compilation to a particular version of that library (and sometimes with a particular checksum on that library's source code?). That is an unusual use of the term "lockfile". I wonder if we could consider adopting a less confusing term. Thanks! John
