The link to the [release](https://abibuilder.informatik.uni-tuebingen.de/archive/ball/BALL/stable) version seems to be broken. Also is the link to the documentation.
