This appears to correspond to `display.cursorDiv.childNodes` at all times. Do we need it?