Rename leap to jump

Avoid confusion with leap year, leap second
Wrap a long line
Suggest using Sleep as timers