I just thought of another little quirk I observed that may be related to this one, so I’ll add it here.

If I have both reverbs engaged, sometimes I deactivate reverb A first and then reverb B. Afterwards, when I try to re-engage reverb A, sometimes reverb B gets engaged instead. I haven’t really figured out a pattern, but it occurs quite often. In the manual, I couldn’t find any information regarding this behavior. So I don’t really know if it is intentional or not.