One last nod to Doris Lessing

Dave points out this perhaps little-known side of this year's Nobel laureate.