Removing Git, Adding prox and formatting