They can at least stop posting about carrots. If they haven't posted anything personally identifiable that could link their 'carrotlover314' account to their real identity, then they can discard that account. At worst, if it is indeed a case of past lewd carrot-related acts being punishable by death, they'd have a head start to get out of the country before the Carrotstasi get there.

It's not much but it's something.