Civil Service employees
For purposes of this section, the term “Civil Service employees” means employees of the Federal Government except for members of the Foreign Service (as defined in section 103 of the Foreign Service Act of 1980 [ 22 U.S.C. 3903 ]).