3 ms·

Well, switching IDEs can actually be hard due to all the integrations. But this is VScode to VSCode …