Mark, Looks like we have lots of votes for your separate repo idea. What do we need to do to get that going?
On that note too, do you know who we need to ping to get a build going? I would suggest we target Linux first since it is the easiest. The tools necessary can be found in the src/BUILDING.md file. Thanks, Jake