Don:
I agree with your comments here, and I corrected my statement above.
The code permits the GEC to be "bare, covered, or insulated" in 250.62. If this statement is in the handbook, then the handbook is wrong, no matter who reviewed it.
I really would like to see the code make it clear that GREEN can be used for the GEC, EGC, EBJ, and MBJ when a conductor is used ....
Now here's another question on the "EBJ" pigtail used to ground the receptacle green screw to the system EGC in a box using a listed clip or screw .. does it have to be green, or must it be bare?