Are fewer cases of diabetes mellitus diagnosed in the months after SARS-CoV-2 infection? A population-level view in the EHR-based RECOVER program. Issue 1 (8th March 2023)