5 ms·

Thanks! I was more lamenting for wide adoption! Myself, plain old LaTeX is good enough, but my collaborators get anxious having to markup pdf...