Major improvements to docs.

Since this exists as an example, it's important that it be well
documented. Especially since it is dealing, in part, with a somewhat
novel concept.