Moved document labeling (for toc, and sorting it) into definition. Tweaked labels to put internals at the end, intro and such at the top. Regenerated embedded docs.