Gravar-mail: Terry L. Erwin and the race to document biodiversity (1940–2020)