It is a truth, universally acknowledged, that any report on gender diversity will contain the phrase: “there is still work to be done.”