https://richhewlett.com/2018/12/16/cmder-a-better-windows-console/