Unable to Locate 'lakefile.lean'

[anonymous-user803]

Under 'Using Lean Copilot in Your Project', the first step is:

1. Add the package configuration option moreLinkArgs := #["-L./.lake/packages/LeanCopilot/.lake/build/lib", "-lctranslate2"] to lakefile.lean.

and then
2. Add the following line to lakefile.lean, including the quotation marks:

My concern is I am unable to locate the lakefile.lean that it is trying to tell. There is one lakefile.lean in 'batteries' and another one in 'Mathlilb'. The generic one I can find is lakefile.toml. Could anyone please help?