I've been able to run research notebooks on Windows using Lean, but when I try to the same thing on Mac or Linux I get some mono-related error. From what I understand, becauset, there are no python-tools for Visual Studio Mac/Linux, you can't run research notebooks interactively. Is this correct?