A new repo for the Intro Workshop on Nov 19.