Insert doesn't replace

[Darren Freeman]

Dear list,

When selecting text and typing / pasting new text, the selection is 
obviously overwritten. But not so with inserting cross-references or 
guarded spaces over normal spaces. Both would be handy ;)

Have fun,
Darren