New progress on Grothendieck duality, explained to those familiar with category theory and with algebraic geometry. Issue 2 (1st November 2020)