Removed proper name from general-purpose comment.
Removed proper name from general-purpose comment.

Not all Major League pitchers are named Jake--not even if you restrict
your definition to the Pitch F/X era!

dhmontgomery/personal-work