6 ms·

TeXmacs unfortunately is a bit buggy. You get random errors from time to time, though I've never had a corrupted file. Otherwise I love it!