I will look at the ignore stuff.

I also wish it wasn't necessary, but it appears to be. Oh, sure, the volume of posts here means I can ignore people readily. It isn't *needed* in the sense that I'd abandon z if it were not present. But it's becoming a chore to have to deliberately skip posts by some people.