Jenkins said she thinks face masks could be made optional for employees and other adults after Dec. 3 or sooner, based on COVID data. A message posted on the OCPS website said, “The district ...