Dimitri Tcaciuc, 21.04.2012 21:17: > On a somewhat relevant node, have you considered enabling Issues page on Github? It was discussed, but the drawback of having two separate bug trackers is non-negligible. Stefan