Another rename to render the same on Github, but not break file associations of OSes.