Clean manual.html and manual-stripped.html files