Editing experience when typing near floats is *much* better. Fixed two major bugs: the selection (that is, the cursor position) getting lost and text nodes after the text entry position getting lost. This required doing some direct DOM manipulation instead of relying on jquery too much, because jquery is designed to ignore text nodes.