However! I have installed manjaro on my desktop PC and got that all set up, and my hope that the hdmi port would miraculously start working again after I'd done so did in fact bear out. So I can start working on stuff in my study1 without having to set my laptop up in here every time
1Lexicon change to reduce confusion with Erik's "office"