The amended complaint also lists five additional pseudonymous plaintiffs who aren’t executive branch employees.