Hello, can somebody tell me the difference between external/ipmi and fence_ipmilan? Are there preferences? Is one of these more common or has some advantages? Thanks in advance! best regards Stefan