Avoid race condition (by disabling auto clearing of `info-button` on `codemirror:blur`)