Steve McIntyre: > Tried to commit this directly, but permission problems. I guess I > don't have write access? > > [...] > > Thanks, I have applied it. For commit access, you need to talk with the -doc team as I recall. Thanks, ~Niels