On December 15, the US Office of Personnel Management (OPM), in coordination with the Office of Management and Budget (OMB),…