Note that "HDR" and deep colour (any colour depth higher than 8-bit) are two different things.
It sounds like some of the above links refer to deep colour support and others refer to HDR. We should clarify which this bug is about (or that it really is about both disparate issues).
For regular desktop usage I think deep colour support is more important (and should come first), as first mentioned in bug 1293950.
Note that "HDR" and deep colour (any colour depth higher than 8-bit) are two different things.
It sounds like some of the above links refer to deep colour support and others refer to HDR. We should clarify which this bug is about (or that it really is about both disparate issues).
For regular desktop usage I think deep colour support is more important (and should come first), as first mentioned in bug 1293950.