Delete some dead files. Update readme.html.