anyone has a working #lean installation on #nixos with the entire #vscode extension & info view working; and is willing to walk me through the installation? or at least, is there a blog post on how to do this? (I tried the installation with the fhs environment package and it complains at every step about not being able to reach the internet to the point of being unusable)