It's confusing that there are two lock files in this repo and two
overlapping workspaces. Ideally everything should be in sync.