Updating: moving some doc-intro examples into doc-testats