3 ms·

I just don't think this is really a problem. My editor doesn't actually have trouble putting pasted code at the right indentation level...