Add PhEDEx section; minor corrections for intro and arch sections