How was the mental health of university professors during the Covid-19 pandemic? Electronic Journal Collection Health, v. 23, n. 5, p. e12145, 11 May2023.