3 ms·

You still might want to use the IDE at first, mainly because resources like Lamport's video lectures use it.