I know Martin has said he prefers 5.5 in dark beers. If you add dark grain, you're adding acidity to the beer, whether you add it in the mash or post-mash. A slightly higher mash pH would make a slightly higher kettle pH, which would be better able to buffer the acidity from the roasted grain.