Wrong link in package documentation

On the first page of the documentation, the link for bob development tools points to https://www.idiap.ch/software/bob/develop which does not seem to exist. The same issue appears in a different page:

https://www.idiap.ch/software/bob/docs/bob/bob.extension/v7.0.2/development.html https://www.idiap.ch/software/bob/docs/bob/bob.extension/v7.0.2/pure_python.html#building-your-package

I am not sure which should be the right package to point at.