What's cool about #linux, is that if I want to plug in an external monitor, all I have to do is drop to the console and type xrandr --output HDMI-1-2 --mode 4K24 --pos 3840x0, and then when I unplug it I just have to type xrandr --output HDMI-1-2 --off and I'm good to go!