appendix to: A. Neeman. A counterexample to a 1961 “theorem” in homological algebra.