Comment by x-complexity

> Right now latex would be a high indicator of manual effort, right?

...no?

Just one Google search for "latex editor" showed more than 2 in the first page.

It's not that different from using a markdown editor.