In the JRVR options panel:
"The screen gamut specifies the colors your display expects to receive. Auto (BT.709) is the right choice for most displays, unless your display is specifically in an image mode where it expects a wide gamut"
So, does this mean Auto is hard-coded to always output BT.709 regardless of the "use system-wide ICC profile (if available)" setting?
The way these two settings are presented seems contradictory and unclear, as they seem to be mutually incompatible settings that can both be set at the same time.
"Auto" should always be using the system ICC profile for the monitor, not defaulting to BT.709.