If not already packed up, and not too much trouble,
It might be useful as a reference, to post a graph displaying how bad, or not, the downmixing issue is when a 7.1 HDMI source is outputted to a 5.1 speaker setup.
This would likely be the most common scenario users will have and would be...