As a note, in case there's a poll or anything, here's my +1 for at least having a github mirror, if not moving to github entirely for trunk development. Cheers! -roger-