Drop collaboration diagrams.

They really weren't adding any value.
Miscellaneous documentation improvements.