Add documentation for RunAllSpecs