Follow [Hel23, §2.2]. Introduce what we need about the categories of quasi-coherent sheaves on stacks
[Alp, Section 6.1] and their derived versions [Ols07, §4]. Briefly mention that the theory extends to
derived stacks [GR17]. Keep in mind that we formally need these but do not work with them explicitly
for most of the seminar. Explain why the use of derived stacks, e.g., in Lemma 2.16 is necessary, see
the discussion at the end of Section 2.2.