Document cobertura:run target