it's a pity there isn't something similar to the loader modification
recently discussed, but for eliminating the chaff from RFCs
and other standards. for instance, RFC3986 (URI generic syntax)
defines the syntax of `uniform resource identifiers' and they
are so `uniform' that it takes a mere 56 pages excluding index to do it.
and that's just the framework! perhaps! well, you've got to laugh;
especially when you start reading:
For most systems, an unreserved character appearing within a URI
component is interpreted as representing the data octet corresponding
to that character's encoding in US-ASCII. Consumers of URIs assume
that the letter "X" corresponds to the octet "01011000", and even
when that assumption is incorrect, there is no harm in making it. [p.
15]