Selecting text and pasting with middle mouse button seems to be broken in Rawhide for the gnome terminal.
Looks like it got fixed in gnome-setting-daemon-3.9.90-2