Arithmetic representations of fundamental groups II: finiteness - Daniel Litt (2018)