Remove support for (mostly unused) jump-to-hole feature that made display more noisy