Moved examples. Other edits, too numerous to mention.