They're wrong about streaming not supporting 1080p HDR.
Where there are bandwidth limitations 4k will be dropped in favour of 1080p HDR as it looks better than 4k no HDR.
Here's proof from 9 months ago...
Amazon 1080p HDR
I haven't tried limiting my bandwidth to check if Netflix keep HDR when dropping the res as the Xbox Slim Netflix pumps everything out in 10bit so you dont know if its doing HDR or not & the Netflix HDR shows have poor HDR... They wont even let the UK have Daredevil s2 in HDR.
Samsung may update my tv to HDR in Netflix in November so I will check then.