I am off to my home (Saharanpur) early morning tomorrow (Sunday). Will be back in Bangalore on the evening of 5th Nov. To anyone visiting this page in the meantime, I wish you a happy Diwali, Rajyotsava, Id-Ul-Fitur, and in general a very happy festive season.