If one reads say Olsson's book on algebraic stacks or Laumon-Moret-Bailly. The lisse-etale topology is used to define quasi-coherent sheaves and the cotangent complex (or rather cutoff's of the cotangent complex). Now it could well be that I did not read close enough, but my impression is that in Toen-Vezzosi's Homotopical Algebraic Geometry II and Gaitsgory-Rozenblyum's books the lisse-etale topology is not mentioned and both construct contangent complexes and pullbacks. So my question is:
Do you need to consider the lisse-etale topology in the setting of derived algebraic geometry? If not, why?