But all they really have to do, as far as distribution practices is concerned, is distribute the full source in the form most convenient for modification. OSI (and yours truly as well) _have_ commented on that aspect of distribution practices. Thanks Bruce