Wrong link to Orekit development version
In the following page: https://www.orekit.org/download.html the link to the "source code repository" of the Development version go to the master branch. However, it shall be develop
Just need to replace in download.html
https://gitlab.orekit.org/orekit/orekit/tree/master
to
https://gitlab.orekit.org/orekit/orekit/tree/develop