Removing core section from devel workshop, covered in intro