Re: Linux USB monitor? Or an HDMI Splitter - looking for options for a second external monitor