Add "default jump" documentation to ADD-JUMP