If anyone is interested in original info from the author of the USB-C/HDMI work, I also put useful information/observations from my work on the kernel and PinePhone here:
https://xnux.eu/devices/pine64-pinephone.html
The current thing on my radar is writing a power manager for the modem. :) That will improve the standby from 24h with the modem active to ~90h.
EDIT: All is well, btw. There's just a lot of pressure on pine64's small team, and it's hard to keep up with everything.