Fortunately it's easy to work round (I have a cheap HDMI splitter, and a HDMI->VGA converter, and both pretty much ignore HDCP), but these sort of arbitrary res

Fortunately it's easy to work round (I have a cheap HDMI splitter, and a HDMI->VGA converter, and both pretty much ignore HDCP), but these sort of arbitrary restrictions are frustrating.