Clean TeX files out of useless labels