Orekit 9.3 is out, what's next?

If we want to release 10.0 by May 23 I think we need to have a RC by May 15. That is 5 days to finish the remaining issues. Here are the remaining issues I see:

I think we can postpone redesigning the data providers until the next release. Any other issues we should include?

Who is going to be the release manager?