Start comparing pro-etale and etale topologies