best practice for use from emacs?

[MarkoSchuetz]

I'm new to Dafny (but very, very, VERY used to emacs...) and would like to use it through lsp. I did find boogie-friends and installed that. But then, when I enter some Dafny example code found in the documentation, it gives me an error module Std does not exist.... I did find that there's an option --standard-libraries and added that, but that also did not fix the problem. From what I found online it seems the version of Dafny that gets installed through lsp-dafny.el defaults to 3.9.0. I tried installing the more recent 4.11.0, but that also has, so far, not resolved the problem.
Which leads to my question: what's the best way to use Dafny through emacs?