miscellaneous TeX .sty files.