d787e69f7c
Renaming in preparation of #4833, which adds a `Workspace.lock_path`. No functional changes.
Renaming in preparation of #4833, which adds a `Workspace.lock_path`. No functional changes.