tip is rather unstable, so we shouldn't block PRs if it happens to break our build or tests. While at it, run 'go mod tidy' with the latest tip version.