I feel about this the same way about pitchers using a little bit of pine tar to keep a better grip on their balls in particularly cold or humid weather. It's technically illegal, but it's so universally done and offers such a negligible benefit that it should be legal. And it is de facto allowed, except when some…