Someone at work had an extra monitor (HP, as it happens) and so I asked if he wouldn't mind if I could have it for my office. Now when I get to work, I can plug in my #laptop and I have an extra monitor for doing stuff, similar to at home. Of course with #GNU #Linux, there's no fuss about compatibility as long as it's a standard connection (which is #HDMI in this case).