So that we don't leave a stray selection that'll be reset
to some nonsense position by the DOM changes.

Closes #4625