git-fetch & config doc: link to the new PRUNING section