Document the new time/dt/scheduling system (as if it were already implemented)