Remove the dysfunctional link to tip4commit