Max Krieger

Related: #541

For the formatting/prettyprinting, could walk the dom tree with https://developer.mozilla.org/en-US/docs/Web/API/TreeWalker

Maybe browser-ui should *be* panes? Panes should definitely be in monorepo. @wodeni

Probably going to use https://nomcopter.github.io/react-mosaic/ and its companion https://blueprintjs.com/

Wonder if we'll wanna eject again/use craco, or switch to vitejs

Yup! Sorry for the lack of documentation here. Check out https://observablehq.com/@tophtucker/hello-penrose . The package is `@penrose/core@develop`.

Amazing!

Rolling out a version of this I've cooked up, and referenced a lot of this code to do it! Thanks so much!

Yeah maybe a little X appears in the bottom left, or your PR

Rolling this out, thanks so much!