Remove old and outdated HTML documentation