More basics on pro-etale cohomology