Now removing unwanted HTML info files from source