Incredible. Putin in Hungary not OK. Netanyahu in Germany OK. If we didn't have enough blatant examples that the rules based order is rules-for-thee-not-for-me, we got yet another one.
Too many people put too much weight if martyrdom. Personally, I think their propaganda machine is already powerful enough that it can't truely get get much of a boost. Arresting Ben for his crimes would be far more good than the negatives that come from people being upset about it. Pick the low hanging fruit while the picking is good I say.