Refactor notes for Design in Introduction.mdown