Deprecation of Random Groups

[Phil Hodge]

To say that random groups are "deprecated" is a value judgement,
and I agree with Bill Cotton that this is not appropriate for a
format that is in widespread use.

The IMAGE extension is another viable alternative to random groups,
isn't it?

					Phil Hodge