remove some pointers to --single-html