whether it's not a good idea to dump grtimes from tex-live. Aside from any other reasons, since the doc states that grtimes requires the (nonfree) Monotype Times font, I've removed grtimes from TL. Thanks, k