downloading elan and lean4

Stream: new members

[Rohan Joshi]

Hi everyone, just a small issue I came across while downloading lean on vs code. I'm not sure how to solve this or what it's trying to say. Any help would be greatly appreciated.
Screenshot-2024-07-02-at-11.06.36AM.png

[Sebastian Ullrich]

I have never seen this before. What are the permissions on that file?