Now, switching the monitor however…
This involves clicking the six buttons on the rear of the monitor in an arcane sequence (your fingers sort of curl around the side, the buttons have labels on the front of the monitor on the right-side bezel, and yes, that works as well as you can imagine). Which then switches the monitor:
* Button 1: activate menu
* 1 again: select input
* 2: move down list of three inputs
* 2: move down list of three inputs
* 3: select mini display port
A somewhat similar sequence exists for going back to its HDMI input.
But hold on! It gets better if you turn off the computer you have live at the moment. The monitor then goes blank, and until it throws its 'no signal found' message, it won't respond to anything. If you are lucky, you can switch inputs before the current computer is shut down completely and the monitor blanks itself.
I do feel like a caveman.