A reminder on names

Other than reposting names already in circulation through news reports, etc. Let's be careful about using the names of potential lay off folks in our comments. To be honest I don't know specifically who has been laid off and who has not. Let's not make things worse by speculating with names. I was a little lax on that in accepting today's comments, but I don't want to have to edit or delete comments (pro or con) that use the full names of current employees. Thanks.