Misc. edits, plus a section about the C implementation.