Error while importing topics from Flarum (users, groups import OK)

Perfect! There’s no reason to figure out what happened unless it happens again.