Leapfrog is just VelocityVerlet.
The updated link is Simulating the Outer Solar System · DifferentialEquations.jl