https://wp.jochen.hayek.name/blog-en/2016/01/18/emacstrampwinputty-what-versions-to-choose-in-january-2016/