This is twice in one day you have quoted a poster without pinging him.
Do be polite.
I make it a practice to choose to whom I ping. I don’t abide smartaleck baiters. A rude, ridiculing, mischaracterizing, condescending, arrogant poster is due no courtesy in my book. If Jim Robinson wants me to do what you suggest, he can tell me to do so, but until then I will freely drag and paste quotes from posts as I choose.