4 ms·

IDE here meaning Interactive Development Environment, rather than Integrated Development Environment?