On Saturday, August 04, 2012 11:25:35 Paulo Pinto wrote: > Where should it be hosted, github? Probably. That's where we're putting everything else. - Jonathan M Davis