In 2016, Microsoft made a stunning announcement during its annual Build developers conference: it was bringing the Linux shell Bash to the Windows …