What should be in use these days - DIST or DIST2? is one preferred over
the other?
/mrg