Comment by twic

Until then, as it happens, an old colleague of mine is working on a JS library to paper over the cracks:

https://github.com/davidje13/tty-typesetter

I haven't used it in anger so can't vouch for it!