On Wed Jul 17 19:57:44 EEST 2013, I wrote: >On Tue Jul 23 22:09:25 EDT 2013, chris chery wrote: Make that: >On Wed Jul 17 03:09:25 BST 2013, chris chery wrote: (an error on my part - this mailing list does not yet accept mails from the future!)