[OC] The number of highly active English Wikipedia editors jumped at the start of the pandemic and has stayed higher ever since (>100 edits/month)