Rename ch4.html to ch4.md