Currently no 4K and no HDR, the focus is on getting 1080p decoding and seeking working reliably. Both will be added later (no ETA on when, there are a lot of depdencies).
Thanks for the info, though! Just out of curiosity: Full HDR support is just a matter of software development and not a hardware problem, is that right?