Theorem Proving in Lean 4 in VSCode

Stream: lean4

[Maxwell Thum]

Never mind; ignore thisHow exactly is one supposed to read Theorem Proving in Lean 4 in VSCode? The introduction says "If you are reading the book inside of VS Code, you will see a button that reads 'try it!'," but I don't seem to have this button.

[Maxwell Thum]

Not sure if this is related, but when I try to deploy, I get permission denied