Someone who downloads the repository on a public system Well, I don't buy your arguments :), but since so few things are world-writable, I will change them just for the sake of consistency, once we re-open the repo to changes (which is still some unknown time away).