It currently doesn't seem useful to thank anyone.  However, I may have
missed your contribution; if so please flame me.