There's a big difference between dox'ing and re-sharing information that Andy Johnston posted publicly using his real identity.

I haven't seen anybody posting his home address, identifying his relatives, harassing his friends, revealing private nicks, or really anything else that I'd associate with a 4chan style doxing.