Documents in Git / A small server for documents generated by Software projects