Yes ignore. Trolls are looking for responses. I know another troll - who
person-to-person is reasonable person - I have had rational face-to-face
conversations with him. I told him once how people were ranting about some of
his posts and he said oh boy,just what I wanted.
I have a filter so I don't see my posts (I use Thunderbird to read news), so the
only way I even know DCP7 still exists is when he gets mentioned.