> But such a do-over is impossible in both LaTeX and emacs, since that would also mean throwing all the thousands (ten thousands?) packages--and lots of core functionality--away.

For LaTeX a large part of the appeal is to get a template and be able to respect whatever arbitrary formatting requirements.

Someone could build a layer on top of existing LaTeX to add a more modern language on top of it and have it expand to LaTeX.