Do we have a collective opinion about revision control or bug tracking for Platform libraries? I'm about done using darcs for anything where I don't need to. I've been thinking about publishing the repo, and hosting bugs, on github instead. Any reason not to?