Okay, guys, some good points here. Another thing I noticed is that GitHub has a wiki, which is nice. It sounds like I'm more likely to get contributions if I use Git, which is worth a good deal to me. And having adoption is worthwhile, too. I think that's what I'll do. Thanks, guys. - Andy Matuschak