Interesting.
When I wrote the question, I originally was asking about the working in the darkroom.
Should I use the profile for my monitor and then convert during export and obviously lose “some stuff” or working in srgb, since I almost always export as srgb.
But now that you raise this question, I will have to check my google stats to tell me the os and the devices/desktop used.