Yeah, I hear what you are saying.
I've not been able to find any specific reference, it's just that I feel as though it should work.
In addition to the reference that it works through the VGA socket at 1280x768, it seems to handle HDMI ok, it reports "1280x768 @ 60Hz" on-screen, not "out...