Documentation: Emulab version of portal manual omits the Chef tutorial

The Chef tutorial should be included in the Emulab version of the manual—yes?