2 ms·

Bracing myself for the Github IDE. If they do that right, any browser can become your development machine.