Internal page overview.html not up to date
The features list in overview.html page which is maintained directly in the repository at src/main/java
is not up to date with the generated site index.md or the Overview page on Orekit website.
Shall we keep this internal html page ? I'm not sure I understand its use.
If yes, it should be updated and point 5 of the release guide ("Updating documentation") should explicitly refer to it, so that the release manager doesn't forget to update it