Version 1.3

Nested jump : If ctrl-] pressed again from the jumped location, it jumps to the next instance