On Tue, 8 Jan 2013, Benjamin Kaduk wrote: > > I still don't have a better idea than a new section. I pushed ac793f588b84f97038b433d61e3b43e9279fc547 to github with a new section describing the use of the error codes, and removing the COMPOUND_IDENTITY and PRINTED codes. There have been a few other syntax/formatting commits in there, too, but those should be uninteresting. -Ben