It was separate. We knew they'd cucked on The Daily Stormer but we probably figured, since it had only happened with that one site, maybe it wasn't going to happen again.
We also, btw, tried working with BitMitigate when we first got started on prq.se later that year, but we had an unpleasant...