Should we be concerned with Mitch Keller's recent velocity?

Social media people seemed to be concerned this week about the state of the Pirates' pitchers and how hard they're throwing. Is there any real cause for concern?