Update WorkshopSetup.tex