@grrrr_shark I'm kinda surprised that positive antigen test is not sufficient (false positive rate there is IIUC small, and more importantly false positives are not correlated with fever), but I assume this is some weird bureaucratic sillyness.