Eric Ries, the guy who coined the term, has 2 categories: pivots and leaps. The analogy he used is basketball footwork. If you keep one foot planted, it's a pivot. Reviewing the article:

1 -> 2: Pivot, as it's still in sales.

2 -> 3: Pivot, as they kept the sales focus and "predictive analytics".

3 -> 4: Seems like more of a leap.

4 -> 5: Pivot, as it's still developer surveys.

5 -> 6: Leap.

Both are fine, honestly. But one should favor pivots over leaps, as you have less to re-do. A leap is a desperation ploy.

Ha! I never thought of the terminology this way - some of these are hops some are pivots!