Thanks for your reply. In the absence of any other comment for several years we'll take this as being fixed. :)
Thanks for your reply. In the absence of any other comment for several years we'll take this as being fixed. :)