I feel bad about the doxxing, but I find it really hard to be sad about 4chan getting obliterated as a whole.
It's just, like, the totality of 4chan is just a concentration of the worst people ever. Maybe because I only lurked on /a/, /v/, /lgbt/ and /pol/ when pol was a thing. It's like when 8kun was swatted down, like, why would I ever feel sad about that.
I do feel terrible that people got doxxed, though