20191023 home.science: 2019 ozone hole is smallest on record; but no credit to us