Otavio Salvador is missing from the AUTHORS file. Is this intentional? By the way can't we do 'git push' using the http interface instead of git+ssh? Cheers, Debarshi -- Universities are places of knowledge. The freshman each bring a little in with them, and the seniors take none away, so knowledge accumulates.