Mouse middle click copy-and-paste in Ubuntu 17.10

After upgrading to Ubuntu 17.10 (and switching to the vanilla GNOME desktop, but I'm not sure if that's relevant), left-click select-to-copy and middle-click-to-paste no longer works.

I found this documentation page which suggests the change is deliberate, but can't see instructions anywhere on how to change it back.

Is it possible to get it back?

You may use the indispensable (GNOME) Tweaks to achieve your goal.

First install it (if not installed already) by running

sudo apt install gnome-tweak-tool

Then launch Tweaks and go to Keyboard & Mouse section and toggle on the "Middle Click Paste" option.