Hi Luc,
it would be nice to also have some code bug fix too. Maybe this if confirmed?
We could even subsequently release a patch for Orekit (see milestone).
Cheers, Romain.