Re smflatex, now that the license is fixed, I realize there is another issue: the .sty names are generic (documents.sty, bull.sty, etc.). I can't install that. Arash (or anyone), if you want it in TL, please contact the maintainer and ask him/her to prefix *all* runtime names (under tex//) with smf or some such uniquifier. (Some have it now.) Best, Karl