During the COVID-19 pandemic, Wikipedia's coverage