Algorithmic form of leapfrog discretisation added to the documentation