Geppetto work

Copyedited the Geppetto index file.
Should Project Explorer be bolded here the same as in previous occurrences?