feat: forall icon for lean file icon instead of website favicon#767

mhuisi merged 1 commit intoleanprover:masterleanprover/vscode-lean4:masterfrom

mhuisi:push-ksyuzppnmkkvmhuisi/vscode-lean4:push-ksyuzppnmkkvCopy head branch name to clipboard