On Wed, 23 Dec 2015, Steve Kleene wrote:
Thank you very much to all of you who posted or wrote with helpful and useful suggestions.
I think a little acknowledgement of the contribution of those of us who can no longer be seduced or cajoled into being "helpful and useful" would be in order.
They too serve who just like to stand around and kibbitz. No good deed goes unpunished. -- Bob Bernstein