Remove old HTML docs