Hodge theory and derived categories of cubic fourfolds (work of Addington and Thomas)