tex additions and comment in autoProxy.vs