reading <a href="https:&#x2F;&#x2F;randomascii.wordpress.com" rel="nofollow">https:&#x2F;&#x2F;randomascii.wordpress.com</a> Im not so sure. Microsoft has a habit of shipping unoptimized buggy crap in every niche, including dev tools.