docs: function getOldSpans(doc, change) {
    let found = change["spans_" + doc.id]
    if (!found) return null
    let nw = []
    for (let i = 0; i < change.text.length; ++i)
      nw.push(removeClearedSpans(found[i]))
    return nw
  }