git fetch documentation: describe short '-p' synonym to '--prune' option