4 ms·

Nice, very nice ... Once you get used to it, this ancient 30 years old text editor is simply the best.