Tools in this directory are intended to help maintaining the repository.
They should not considered as production tools and should be used by
people who knows what they do...!!!