discontinued special support for README.html (which was hardly ever used in the past 2 decades);