Add 2013-11-13-workshop HTML.