Why does IG not offer portfolio margining for professional investors/traders? E.g. if one buys an option spread, IG seems to margin both legs individually without taking into account the aggegate risk offset that the second option provides. I tried to ask this on chat with them and they just cut me off.