Hello, DOCS/tech/release-howto.txt mentions a release.sh script. Does that actually exist/does someone have a copy of it? I'm sure it would be quite outdated, but it wouldn't hurt to have it as a starting point to make it easier to avoid forgetting things. Reimar