I didn't know GitHub did that, @stof - thanks for the heads up. I like @necolas's point about keeping the anchors, though. I'll probably leave them as it gives people an easy search and replace target.