Open folds when jumping to a result - fixes #1