3 ms·

And here I thought I'd regret switching to IDEA due to the lack of official Google support. How serendipitous.