most of the top-level documentation