> (some current transatlantic cable problem make github act erratically from Europe, but it's transitory). Damn, and I just read some articles on Sandy. I sure hope everything will be OK in the end.