It is unfortunate, but still better that the prospect of a real product is so close now.
Fingers crossed for a hardware hack, shall have to wait and see.
Do anyone know of a ultra cheap usb digital output dongle, something like that would at least resolve issues for a lot of people planning some projects. There are lots of analogue usb dongles out there for a few $, but a digital one seem to be a lot more (simple pass-through digitial would be enough).
As far as I know, splitting out the digital signal isn't too easy from the HDMI (although please correct me if not).
A Magazine for Raspberry Pi Users
Read Online or Download for Free.
My new book: goo.gl/dmVtsc
Meltwater's Pi Hardware - pihardware.com
Like the MagPi? @TheMagP1 @TheMagPiTeam