Yes... Greenleaf's work (actually Grønneløv) is really impressive.
He's already made some major changes and improvements to the core physics code and add many new integrator options (where before you had two, Normal (Euler) or Accurate (RK4), you'll be able to switch between eight integrators in Universe Sandbox 3.
And he hasn't even started on the really exciting stuff.