In recent years, Microsoft has changed its attitude towards the open source operating system Linux. A slimmed-down version can be found, for example, in the Windows subsystem for Linux. This ...