hi Ondra,
I don't necessarily need a dome light for light mixing purposes. But it's at all possible to allow a light to store the hdri so that light can be turned off when a layer is turned off because render hidden lights is unchecked in the render panel.