add dash in plug-in in IrisStack figure
several tweaks

remove "must" from extensibility requirement in Intro
clarify extensions programming language
clarify why some plug-ins are experimental
clarify integration tool