Re: Summary of crypto-DTD discussion

Oops, missed one bit.  I agree that a) continuing to allow mixed
content and b) continuing to distinguish between mixed and element-only
for the purposes of handling whitespace is both valuable and easy, so
change the crypto-DTD content as follows:

 1a) Content type:  EMPTY, mixed or element-only;