replacing a few <tex> and <web>, displaying a warning for the others