SpecRunner: remove documentation