Gravar-mail: Healthcare workers in Singapore infected with COVID‐19: 23 January‐17 April 2020