WorkFile.Cleanup currently links to the nonexistent
WorkFile.DropRequire method. Link to WorkFile.DropUse instead, which
uses the deferred cleanup behavior described by Cleanup.
Also fix File.DropTool's doc comment to name DropTool instead of
RemoveTool.
Change-Id: If5ee772f69dab2a38acbbc8a24cc1104334be365
Reviewed-on: https://go-review.googlesource.com/c/mod/+/819820
Reviewed-by: Sean Liao <sean@liao.dev>
Reviewed-by: Michael Matloob <matloob@golang.org>
LUCI-TryBot-Result: golang-scoped@luci-project-accounts.iam.gserviceaccount.com <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: David Chase <drchase@google.com>
Reviewed-by: Michael Matloob <matloob@google.com>
Auto-Submit: Sean Liao <sean@liao.dev>