2 ms·

Good point, to me that explains why this is a GitHub product instead of a Microsoft (or VSCode) product.