fix(lean4-mode/lean4-util): (lean4-setup-rootdir) returns the wrong path
Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.
doxygen src/Doxyfile
