3 ms·

This. Most of the time I am on linux but occasionally on windows and its great to have the editor on both