[Update: Since writing this article, Microsoft has announced (on March 8th 2018) that it is going to be rolling out a system update that should fix the RGB color problem I describe in the original ...