Adding to federal workers’ distress, the acting head of the Office of Personnel Management, which is effectively the federal ...