Fixed some TODOs in the manual.
Fixed some TODOs in the manual.

KaranDagar/crystalvc,SoftwareEngineeringToolDemos/FSE-2011-Crystal,brunyuriy/crystalvc,KaranDagar/crystalvc,KaranDagar/FSE-2011-Crystal---old,brunyuriy/crystalvc,SoftwareEngineeringToolDemos/FSE-2011-Crystal,KaranDagar/FSE-2011-Crystal---old,SoftwareEngineeringToolDemos/FSE-2011-Crystal