First off this isn't F12. It's a spike. F12 would pause your computer to a point where you are unable to perform any actions. In this instance though you can see the fast rs that comes after his spike which shows that he did spike and was not F12ing. As for the spike, it is too minor since it only happened once and his ping was stable throughout the rest of the replay. No punishment should be given.
