systematic change of lowercase html to HTML. and other regular changes.