News about Microsoft's new Windows Terminal app with tabs got rightly overshadowed by its Linux kernel for Windows 10, which will allow Linux apps to to be run by a Microsoft-made Linux kernel rather ...