I am seeing posts from https://hexbear.net/ once again. Anyone know what happened since they lost their domain name? How did they get it back?