It is dinner time up here, but when I am back at my main computer again I will send a better reply…
Now after dinner:
Basically — if you want to export 8-bits, use RTv4_sRGB as output profile. If you want to export 16-bits, use RTv4_Large as output profile.
Also web search for Andrew Rodney’s Color Management for Photographers.