Pasting text between floaters places the cursor incorrectly

When pasting between floaters, the cursor is then moved to 1 character into the pasted text, instead of at the end of the pasted text.
Tom Iwaniec 3 days ago