In my eyes only the main tree is official. The overlays are development niches 
(and as such perfectly fine), to speed up development without causing much 
trouble in the main tree. The problem is that overlay.g.o is seemingly 
official, because we host it. It should be made more clear that this isn't 
the case.


Carsten