Han Seoul-Oh

To summarize, the ultimate proposed algorithm is: 1. If normal merging of the parents results in a Main tree that is (outside of the subproject) identical to one of the...

Man, for a day there I almost convinced myself that case 2 was strictly a subset of case 1 (and hence superfluous); it isn't, but in the course of trying...

`$` isn't documented yet and is also definitely a poor choice of hotkey to switch between math and text mode that we’re planning to remove. I don't think a newline...

> `double spacebar` Not sure, never had any requests like that before. What happens when you press the first spacebar? Does the cursor move/type a space? > I've placed debuggers...

I don't have something better in mind, double spacebar just seems tricky because spacebar already has a meaning (two possible meanings actually, depending on the `spaceBehavesLikeTab` option, even more proposed...

This is awesome! Two moderate concerns: - The page is very wide, much wider than the Short Math Guide PDF itself even blown up to an equivalent font size, can...

weirder idea: pre-render all the images but instead of keeping them in our repo, upload them to the git asset storage used for storing images in comments and issues ,...

Definitely looking even better, though still getting some width weirdness: 

Man, this is amazing, a whole mass of new symbols! There's still some funkiness, but obviously this PR doesn't have to be perfect and fix everything to be merged, it...

This really was fantastic work, @arnog! One more note: I think the ideal solution we'd want to eventually have is to have one file that generates both the `LatexCmds` in...