Wed Apr 6 09:47:12 EDT 2005 rsc
    Rob doesn't believe in these kind of options, and neither do I.
    Same reason there aren't options to set the colors used by
    rio/acme/sam, etc.  A few people have proposed this over the 
    years, and I'm glad it's easy.  ;-)
    
    Russ