Several big moves related to examples plus some edits along the way.