This is just an archive of old scripts that we used one or two times. They could
be useful in the future, but they are not maintained.