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 https://gi

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 https://github.com/davidje13/tty-typesetter I haven't used it in anger so can't vouch for it!