===> Cleaning for htmldoc-x11-1.9.16nb3