HG Friends: this was commented some commits ago, but it shouldn't have been.