In the continuing saga of surprising things users do: This post over on LinkedIn features a custom made #LeanLang environment intended to replace a Jupyter Notebook, because, you know - why not? 👀 www.linkedin.com/posts/philip... (With apologies to @jupyter.org ❤️)