Gerit extremely slow today, time for restart?