That’s exactly what I tried!
Now I’ve figured out that the problem is the difference between “primary selection” and “clipboard” under X11. Jupyter copies to the clipboard, but pressing the middle mouse button inserts the primary selection in the text editor. You can get the clipboard with some key combination.
Anyway, thanks!